PreferenceLoader.setValue(prefOption, rightColumnIDs);
if (VersionCheck.isGtk()) rightColumnIDs += bogusColumn;  PreferenceLoader.setValue(prefOption, rightColumnIDs);
    public void savePrefs() {        if (rightColumnIDs.length() > 1) {            PreferenceLoader.setValue(prefOption, rightColumnIDs);            PreferenceLoader.saveStore();        }    }