|
From: Matthias K <mat...@us...> - 2006-07-08 22:43:09
|
Update of /cvsroot/jcommander/plugins/org.jcommander.ui.filepanel/src/org/jcommander/ui/filepanel/preferences In directory sc8-pr-cvs6.sourceforge.net:/tmp/cvs-serv25471/src/org/jcommander/ui/filepanel/preferences Modified Files: FilePanelPreferencesPage.java Log Message: Implementation of feature request [1369613]: Panel auto-refresh disabling option. Index: FilePanelPreferencesPage.java =================================================================== RCS file: /cvsroot/jcommander/plugins/org.jcommander.ui.filepanel/src/org/jcommander/ui/filepanel/preferences/FilePanelPreferencesPage.java,v retrieving revision 1.4 retrieving revision 1.5 diff -C2 -d -r1.4 -r1.5 *** FilePanelPreferencesPage.java 16 Mar 2006 18:21:19 -0000 1.4 --- FilePanelPreferencesPage.java 8 Jul 2006 22:43:01 -0000 1.5 *************** *** 4,11 **** --- 4,14 ---- package org.jcommander.ui.filepanel.preferences; + import java.util.List; + import org.eclipse.jface.preference.*; import org.eclipse.swt.*; import org.eclipse.ui.*; import org.jcommander.ui.filepanel.*; + import org.jcommander.ui.filepanel.controls.FileTab; import org.jcommander.ui.filepanel.model.FileControlModel; *************** *** 49,54 **** addField(showDirectoryTree); BooleanFieldEditor autoRefreshPanelContents = new BooleanFieldEditor(FilePanelPlugin.AUTO_REFRESH_PANEL_CONTENTS, ! "Set panels to be automatically refreshed in new tabs", SWT.NONE, getFieldEditorParent()); --- 52,66 ---- addField(showDirectoryTree); + RadioGroupFieldEditor advancedAutoRefresh = new RadioGroupFieldEditor(FilePanelPlugin.ADVANCED_AUTO_REFRESH, "Handling of auto refresh", 1, + new String[][] { + {"Automatic (on for local files, off for remote files)", FilePanelPlugin.AUTO_REFRESH_AUTOMATIC}, + {"Manual (see below and on each FilePanel)", FilePanelPlugin.AUTO_REFRESH_MANUAL} + }, getFieldEditorParent(), true + ); + + addField(advancedAutoRefresh); + BooleanFieldEditor autoRefreshPanelContents = new BooleanFieldEditor(FilePanelPlugin.AUTO_REFRESH_PANEL_CONTENTS, ! "Set panels to be automatically refreshed", SWT.NONE, getFieldEditorParent()); *************** *** 83,89 **** FileControlModel.setShowExtNames(prefs.getBoolean(FilePanelPlugin.SHOW_EXT_NAMES)); return true; } ! } --- 95,129 ---- FileControlModel.setShowExtNames(prefs.getBoolean(FilePanelPlugin.SHOW_EXT_NAMES)); + List tabMediators = filePanelManager.getTabMediators(); + + if (prefs.getString(FilePanelPlugin.ADVANCED_AUTO_REFRESH).equals(FilePanelPlugin.AUTO_REFRESH_MANUAL)) { + for(int i=0;i<tabMediators.size();i++) { + TabMediator crtMed = (TabMediator)tabMediators.get(i); + + FileTab crtFileTab = crtMed.getFileTab(); + + crtFileTab.getLeftFilePanel().setAutoRefresh(prefs.getBoolean(FilePanelPlugin.AUTO_REFRESH_PANEL_CONTENTS)); + crtFileTab.getLeftFilePanel().updateAutoRefreshMethod(); + crtFileTab.getRightFilePanel().setAutoRefresh(prefs.getBoolean(FilePanelPlugin.AUTO_REFRESH_PANEL_CONTENTS)); + crtFileTab.getRightFilePanel().updateAutoRefreshMethod(); + } + }else { + for(int i=0;i<tabMediators.size();i++) { + TabMediator crtMed = (TabMediator)tabMediators.get(i); + + FileTab crtFileTab = crtMed.getFileTab(); + + crtFileTab.getLeftFilePanel().updateAutoRefreshMethod(); + crtFileTab.getRightFilePanel().updateAutoRefreshMethod(); + } + } + return true; } ! protected void performDefaults() { ! super.performDefaults(); ! getPreferenceStore().setDefault(FilePanelPlugin.ADVANCED_AUTO_REFRESH, FilePanelPlugin.AUTO_REFRESH_AUTOMATIC); ! } ! } |