|
@@ -141,6 +141,10 @@ public final class TreeFrameManager implements FrameManager,
|
141
|
141
|
|
142
|
142
|
IdentityManager.getGlobalConfig().addChangeListener("treeview",
|
143
|
143
|
TreeFrameManager.this);
|
|
144
|
+ IdentityManager.getGlobalConfig().addChangeListener("ui",
|
|
145
|
+ "sortrootwindows", TreeFrameManager.this);
|
|
146
|
+ IdentityManager.getGlobalConfig().addChangeListener("ui",
|
|
147
|
+ "sortchildwindows", TreeFrameManager.this);
|
144
|
148
|
IdentityManager.getGlobalConfig().addChangeListener("ui",
|
145
|
149
|
"backgroundcolour", TreeFrameManager.this);
|
146
|
150
|
IdentityManager.getGlobalConfig().addChangeListener("ui",
|