/*************************************** * ConfigurationListener Implementation ***************************************/ public void configurationChanged(ConfigurationEvent event) { String var = event.getVariable(); // Update the button's icon if the system file icons policy has changed if (var.equals(MuPreferences.SHOW_SINGLE_TAB_HEADER)) refreshViewer(); }
/** * Reacts to configuration changes. */ public void configurationChanged(ConfigurationEvent event) { if(event.getVariable().startsWith(MuPreferences.SHELL_SECTION)) setShellCommand(); } }
/** * Listens to some configuration variables. */ public void configurationChanged(ConfigurationEvent event) { String var = event.getVariable(); if (var.equals(MuPreferences.TIME_FORMAT) || var.equals(MuPreferences.DATE_FORMAT) || var.equals(MuPreferences.DATE_SEPARATOR)) updateDateFormat(); } }
public synchronized void configurationChanged(ConfigurationEvent event) { String var = event.getVariable(); if (var.equals(MuPreferences.DISPLAY_COMPACT_FILE_SIZE)) setSelectedFileSizeFormat(event.getBooleanValue()); } };
/** * Listens to certain configuration variables. */ public void configurationChanged(ConfigurationEvent event) { String var = event.getVariable(); // Update the button's icon if the system file icons policy has changed if (var.equals(MuPreferences.USE_SYSTEM_FILE_ICONS)) updateButton(); }
/** * Listens to certain configuration variables. */ public void configurationChanged(ConfigurationEvent event) { String var = event.getVariable(); // /!\ font.size is set after font.family in AppearancePrefPanel // that's why we only listen to this one in order not to change Font twice if (var.equals(MuPreferences.LOOK_AND_FEEL)) { String lnfName = event.getValue(); if(!UIManager.getLookAndFeel().getClass().getName().equals(lnfName)) setLookAndFeel(lnfName); } } }
/** * Listens to certain configuration variables. */ public void configurationChanged(ConfigurationEvent event) { String var = event.getVariable(); if (var.equals(MuPreferences.SHOW_HIDDEN_FILES) || var.equals(MuPreferences.SHOW_DS_STORE_FILES) || var.equals(MuPreferences.SHOW_SYSTEM_FOLDERS)) { Object root = model.getRoot(); if (root != null) { TreePath path = new TreePath(root); model.refresh(path); } } }
/** * Listens to certain configuration variables. */ public void configurationChanged(ConfigurationEvent event) { String var = event.getVariable(); // Rescale buttons icon if (var.equals(MuPreferences.TOOLBAR_ICON_SCALE)) { scaleFactor = event.getFloatValue(); Component components[] = getComponents(); int nbComponents = components.length; for(int i=0; i<nbComponents; i++) { if(components[i] instanceof JButton) { setButtonIcon((JButton)components[i]); } } } }
/** * Tests event creation. */ @Test public void testConstructor() { ConfigurationEvent event; // Makes sure the constructor initialises events properly. event = new ConfigurationEvent(conf, VARIABLE_NAME, STRING_VALUE); assert conf.equals(event.getConfiguration()); assert VARIABLE_NAME.equals(event.getVariable()); } }
/** * Listens to certain configuration variables. */ public void configurationChanged(ConfigurationEvent event) { String var = event.getVariable(); // Reload butons icon if the icon scale factor has changed if (var.equals(MuPreferences.COMMAND_BAR_ICON_SCALE)) { scaleFactor = event.getFloatValue(); // Change the button's icon but NOT the action's icon which has to remain in its original non-scaled size setIcon(IconManager.getScaledIcon(((MuAction) getAction()).getIcon(), scaleFactor)); } } }
/** * Listens to certain configuration variables. */ public void configurationChanged(ConfigurationEvent event) { String var = event.getVariable(); if (var.equals(MuPreferences.DISPLAY_COMPACT_FILE_SIZE)) { FileTableModel.setSizeFormat(event.getBooleanValue()); tableModel.fillCellCache(); resizeAndRepaint(); } else if (var.equals(MuPreferences.DATE_FORMAT) || var.equals(MuPreferences.DATE_SEPARATOR) || var.equals(MuPreferences.TIME_FORMAT)) { // Note: for the update to work properly, CustomDateFormat's configurationChanged() method has to be called // before FileTable's, so that CustomDateFormat gets notified of date format first. // Since listeners are stored by MuConfiguration in a hash map, order is pretty much random. // So CustomDateFormat#updateDateFormat() has to be called before to ensure that is uses the new date format. CustomDateFormat.updateDateFormat(); tableModel.fillCellCache(); resizeAndRepaint(); } // Repaint file icons if their size has changed else if (var.equals(MuPreferences.TABLE_ICON_SCALE)) { // Recalcule row height, revalidate and repaint the table setRowHeight(); } // Repaint file icons if the system file icons policy has changed else if (var.equals(MuPreferences.USE_SYSTEM_FILE_ICONS)) repaint(); }
/** * Adds or removes filters based on configuration changes. */ public void configurationChanged(ConfigurationEvent event) { String var = event.getVariable(); // Show or hide hidden files if (var.equals(MuPreferences.SHOW_HIDDEN_FILES)) { if(event.getBooleanValue()) removeFileFilter(hiddenFileFilter); else addFileFilter(hiddenFileFilter); } // Show or hide .DS_Store files (Mac OS X option) else if (var.equals(MuPreferences.SHOW_DS_STORE_FILES)) { if(event.getBooleanValue()) removeFileFilter(dsFileFilter); else addFileFilter(dsFileFilter); } // Show or hide system folders (Mac OS X option) else if (var.equals(MuPreferences.SHOW_SYSTEM_FOLDERS)) { if(event.getBooleanValue()) removeFileFilter(systemFileFilter); else addFileFilter(systemFileFilter); } } }