Called whenever a property changes for a component we are registered as listening to.
(PropertyChangeEvent e)
| 1071 | * as listening to. |
| 1072 | */ |
| 1073 | @Override |
| 1074 | public void propertyChange(PropertyChangeEvent e) { |
| 1075 | |
| 1076 | String propertyName = e.getPropertyName(); |
| 1077 | |
| 1078 | // If the file's path is changing (must be caused by the file being saved(?))... |
| 1079 | if (propertyName.equals(RTextEditorPane.FULL_PATH_PROPERTY)) { |
| 1080 | setTitle((String)e.getNewValue()); |
| 1081 | } |
| 1082 | |
| 1083 | // If the file's modification status is changing... |
| 1084 | else if (propertyName.equals(RTextEditorPane.DIRTY_PROPERTY)) { |
| 1085 | String oldTitle = getTitle(); |
| 1086 | boolean newValue = (Boolean)e.getNewValue(); |
| 1087 | if (!newValue) { |
| 1088 | setTitle(oldTitle.substring(0,oldTitle.length()-1)); |
| 1089 | } |
| 1090 | else { |
| 1091 | setTitle(oldTitle + '*'); |
| 1092 | } |
| 1093 | } |
| 1094 | |
| 1095 | } |
| 1096 | |
| 1097 | |
| 1098 | void registerChildWindowListeners(Window w) { |
nothing calls this directly
no test coverage detected