+ jTextFieldEncapType.setPreferredSize(new java.awt.Dimension(200,20));\r
+ jTextFieldEncapType.getDocument().addDocumentListener(new DocumentListener() {\r
+\r
+ public void insertUpdate(DocumentEvent arg0) {\r
+ if (ffsSelection) {\r
+ ffsSelection = false;\r
+ return;\r
+ }\r
+ if (docConsole != null) {\r
+ docConsole.setSaved(false);\r
+ }\r
+ }\r
+\r
+ public void removeUpdate(DocumentEvent arg0) {\r
+ if (ffsSelection) {\r
+ ffsSelection = false;\r
+ return;\r
+ }\r
+ if (docConsole != null) {\r
+ docConsole.setSaved(false);\r
+ }\r
+ }\r
+\r
+ public void changedUpdate(DocumentEvent arg0) {\r
+ // TODO Auto-generated method stub\r
+ \r
+ }\r
+ \r
+ });\r