Changeset 206

Timestamp:

11/05/02 15:35:53 (21 years ago)

Author:

piso

Message:

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

File:

• trunk/j/src/org/armedbear/j/Editor.java (modified) (3 diffs)

trunk/j/src/org/armedbear/j/Editor.java

@@ -3 +3 @@
  *
  * Copyright (C) 1998-2002 Peter Graves
- * $Id: Editor.java,v 1.15 2002-11-03 20:30:02 piso Exp $
+ * $Id: Editor.java,v 1.16 2002-11-05 15:35:53 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -3930 +3930 @@
     {
         if (buf instanceof ImageBuffer)
-            return ((ImageBuffer) buf).reactivate();
+            return ((ImageBuffer)buf).reactivate();
 
         if (buf.getType() != Buffer.TYPE_NORMAL)
@@ -3953 +3953 @@
             buf.readOnly = !buf.readOnly;
             changed = true;
+            // Let the user know if the file associated with a modified buffer 
+            // is no longer writable.
+            if (buf.readOnly && buf.isLoaded() && buf.isModified())
+                MessageDialog.showMessageDialog(
+                    file.canonicalPath().concat(" is no longer writable"),
+                    "Warning");
         }