comparison dwtx/jface/preference/PreferenceDialog.d @ 72:5df4896124c7

JFace and its examples do compile
author Frank Benoit <benoit@tionex.de>
date Thu, 22 May 2008 17:56:17 +0200
parents 4878bef4a38e
children 7ffeace6c47f
comparison
equal deleted inserted replaced
71:4878bef4a38e 72:5df4896124c7
875 && cast(IPersistentPreferenceStore)store ) { 875 && cast(IPersistentPreferenceStore)store ) {
876 try { 876 try {
877 (cast(IPersistentPreferenceStore) store).save(); 877 (cast(IPersistentPreferenceStore) store).save();
878 } catch (IOException e) { 878 } catch (IOException e) {
879 String message =JFaceResources.format( 879 String message =JFaceResources.format(
880 "PreferenceDialog.saveErrorMessage", [ page.getTitle(), e.getMessage() ]); //$NON-NLS-1$ 880 "PreferenceDialog.saveErrorMessage", [ page.getTitle(), e.msg ]); //$NON-NLS-1$
881 Policy.getStatusHandler().show( 881 Policy.getStatusHandler().show(
882 new Status(IStatus.ERROR, Policy.JFACE, message, e), 882 new Status(IStatus.ERROR, Policy.JFACE, message, e),
883 JFaceResources.getString("PreferenceDialog.saveErrorTitle")); //$NON-NLS-1$ 883 JFaceResources.getString("PreferenceDialog.saveErrorTitle")); //$NON-NLS-1$
884 884
885 } 885 }
1035 IPreferenceNode node = findNodeMatching(getSelectedNodePreference()); 1035 IPreferenceNode node = findNodeMatching(getSelectedNodePreference());
1036 if (node is null) { 1036 if (node is null) {
1037 IPreferenceNode[] nodes = preferenceManager.getRootSubNodes(); 1037 IPreferenceNode[] nodes = preferenceManager.getRootSubNodes();
1038 ViewerComparator comparator = getTreeViewer().getComparator(); 1038 ViewerComparator comparator = getTreeViewer().getComparator();
1039 if (comparator !is null) { 1039 if (comparator !is null) {
1040 comparator.sort(null, nodes); 1040 comparator.sort(null, arraycast!(Object)(nodes));
1041 } 1041 }
1042 ViewerFilter[] filters = getTreeViewer().getFilters(); 1042 ViewerFilter[] filters = getTreeViewer().getFilters();
1043 for (int i = 0; i < nodes.length; i++) { 1043 for (int i = 0; i < nodes.length; i++) {
1044 IPreferenceNode selectedNode = nodes[i]; 1044 IPreferenceNode selectedNode = nodes[i];
1045 // See if it passes all filters 1045 // See if it passes all filters