+\r
+ /* (non-Javadoc)\r
+ * @see javax.swing.event.DocumentListener#changedUpdate(javax.swing.event.DocumentEvent)\r
+ */\r
+ public void changedUpdate(DocumentEvent arg0) {\r
+ // TODO Auto-generated method stub\r
+ \r
+ }\r
+\r
+ /* (non-Javadoc)\r
+ * @see javax.swing.event.DocumentListener#insertUpdate(javax.swing.event.DocumentEvent)\r
+ */\r
+ public void insertUpdate(DocumentEvent arg0) {\r
+ // TODO Auto-generated method stub\r
+ if (docConsole != null) {\r
+ docConsole.setSaved(false);\r
+ }\r
+ }\r
+\r
+ /* (non-Javadoc)\r
+ * @see javax.swing.event.DocumentListener#removeUpdate(javax.swing.event.DocumentEvent)\r
+ */\r
+ public void removeUpdate(DocumentEvent arg0) {\r
+ // TODO Auto-generated method stub\r
+ if (docConsole != null) {\r
+ docConsole.setSaved(false); \r
+ }\r
+ }\r