Set the session to dirty if the server CUI is changed.

Dieser Commit ist enthalten in:
Matthew Miller 2018-08-19 10:46:46 +10:00
Ursprung eba91cac5f
Commit 41c307a4b5

Datei anzeigen

@ -624,6 +624,7 @@ public class LocalSession {
public void setUseServerCUI(boolean useServerCUI) { public void setUseServerCUI(boolean useServerCUI) {
this.useServerCUI = useServerCUI; this.useServerCUI = useServerCUI;
setDirty();
} }
/** /**