Changeset 206


Ignore:
Timestamp:
11/05/02 15:35:53 (20 years ago)
Author:
piso
Message:

reactivate(): let the user know if the file associated with a modified buffer
is no longer writable.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/j/src/org/armedbear/j/Editor.java

    r194 r206  
    33 *
    44 * Copyright (C) 1998-2002 Peter Graves
    5  * $Id: Editor.java,v 1.15 2002-11-03 20:30:02 piso Exp $
     5 * $Id: Editor.java,v 1.16 2002-11-05 15:35:53 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    39303930    {
    39313931        if (buf instanceof ImageBuffer)
    3932             return ((ImageBuffer) buf).reactivate();
     3932            return ((ImageBuffer)buf).reactivate();
    39333933
    39343934        if (buf.getType() != Buffer.TYPE_NORMAL)
     
    39533953            buf.readOnly = !buf.readOnly;
    39543954            changed = true;
     3955            // Let the user know if the file associated with a modified buffer
     3956            // is no longer writable.
     3957            if (buf.readOnly && buf.isLoaded() && buf.isModified())
     3958                MessageDialog.showMessageDialog(
     3959                    file.canonicalPath().concat(" is no longer writable"),
     3960                    "Warning");
    39553961        }
    39563962
Note: See TracChangeset for help on using the changeset viewer.