Changeset 603

Timestamp:

01/31/10 14:56:33 (3 years ago)

Author:

stefan

Message:

reload gproperties when saving the file in the editor

Files:

• trunk/src/jlatexeditor/JLatexEditorJFrame.java (modified) (3 diffs)

trunk/src/jlatexeditor/JLatexEditorJFrame.java

@@ -570 +570 @@
     AbstractResource resource = editor.getResource();
 
+    boolean gPropertiesSaved = false;
+
     File file = null;
     if (resource instanceof UntitledDoc) {
@@ -600 +602 @@
       FileDoc fileDoc = (FileDoc) resource;
       file = fileDoc.getFile();
+      gPropertiesSaved = file.equals(GProperties.CONFIG_FILE);
     }
 
@@ -643 +646 @@
       lastModified.put(file, file.lastModified());
       editor.getTextPane().getDocument().setModified(false);
+
+      if (gPropertiesSaved) {
+        GProperties.load();
+      }
     } catch(IOException ex){
       ex.printStackTrace();