Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
View | Details | Raw Unified | Return to bug 30646 | Differences between
and this patch

Collapse All | Expand All

(-)TagConfigurationDialog.java (-10 / +6 lines)
Lines 96-107 Link Here
96 
	// enable selecting auto-refresh files
 96 
	// enable selecting auto-refresh files
97 
	private boolean allowSettingAutoRefreshFiles = true;
 97 
	private boolean allowSettingAutoRefreshFiles = true;
98
98
99 
	// sizing default hints
100 
	private final int ALLOWREFRESH_WIDTH = 500;
101 
	private final int ALLOWREFRESH_HEIGHT = 625;
102 
	private final int NOREFRESH_WIDTH = 500;
103 
	private final int NOREFRESH_HEIGHT = 550;
104
105 
	// preference keys
 99 
	// preference keys
106 
	private final String ALLOWREFRESH_WIDTH_KEY = "AllowRefreshWidth"; //$NON-NLS-1$
 100 
	private final String ALLOWREFRESH_WIDTH_KEY = "AllowRefreshWidth"; //$NON-NLS-1$
107 
	private final String ALLOWREFRESH_HEIGHT_KEY = "AllowRefreshHeight"; //$NON-NLS-1$
 101 
	private final String ALLOWREFRESH_HEIGHT_KEY = "AllowRefreshHeight"; //$NON-NLS-1$
Lines 746-761 Link Here
746 
				height = settings.getInt(ALLOWREFRESH_HEIGHT_KEY);
 740 
				height = settings.getInt(ALLOWREFRESH_HEIGHT_KEY);
747 
				width = settings.getInt(ALLOWREFRESH_WIDTH_KEY);
 741 
				width = settings.getInt(ALLOWREFRESH_WIDTH_KEY);
748 
			} catch(NumberFormatException e) {
 742 
			} catch(NumberFormatException e) {
749 
				height = ALLOWREFRESH_HEIGHT;
 743 
				Point is = super.getInitialSize();
750 
				width = ALLOWREFRESH_WIDTH;
 744 
				height = is.x;
745 
				width = is.y;
751 
			}
 746 
			}
752 
		} else {
 747 
		} else {
753 
			try {
 748 
			try {
754 
				height = settings.getInt(NOREFRESH_HEIGHT_KEY);
 749 
				height = settings.getInt(NOREFRESH_HEIGHT_KEY);
755 
				width = settings.getInt(NOREFRESH_WIDTH_KEY);
 750 
				width = settings.getInt(NOREFRESH_WIDTH_KEY);
756 
			} catch(NumberFormatException e) {
 751 
			} catch(NumberFormatException e) {
757 
				height = NOREFRESH_HEIGHT;
 752 
				Point is = super.getInitialSize();
758 
				width = NOREFRESH_WIDTH;
 753 
				height = is.x;
754 
				width = is.y;
759 
			}
 755 
			}
760 
		}
 756 
		}
761 
		return new Point(width, height);
 757 
		return new Point(width, height);

Return to bug 30646