Lines 379-385
Link Here
|
379 |
StringTokenizer tok = new StringTokenizer(extras, ", "); //$NON-NLS-1$ |
379 |
StringTokenizer tok = new StringTokenizer(extras, ", "); //$NON-NLS-1$ |
380 |
int numExtras = tok.countTokens(); |
380 |
int numExtras = tok.countTokens(); |
381 |
int numPersps = Math.max(numExtras, 1); // assume initial perspective is also listed in extras |
381 |
int numPersps = Math.max(numExtras, 1); // assume initial perspective is also listed in extras |
382 |
return Math.max(MIN_DEFAULT_WIDTH, MIN_WIDTH + (numPersps*ITEM_WIDTH)); |
382 |
|
|
|
383 |
// Fixed bug 84603: [RCP] [PerspectiveBar] New API or pref to set default perspective bar size |
384 |
String sizeString = PrefUtil.getAPIPreferenceStore().getString( |
385 |
IWorkbenchPreferenceConstants.PERSPECTIVE_BAR_SIZE); |
386 |
int size = MIN_DEFAULT_WIDTH; |
387 |
try { |
388 |
size = Integer.parseInt(sizeString); |
389 |
} |
390 |
catch (NumberFormatException e) { |
391 |
// leave size value at MIN_DEFAULT_WIDTH |
392 |
} |
393 |
int defaultWidth = Math.max(MIN_DEFAULT_WIDTH, size); |
394 |
return Math.max(defaultWidth, MIN_WIDTH + (numPersps*ITEM_WIDTH)); |
383 |
} |
395 |
} |
384 |
|
396 |
|
385 |
/** |
397 |
/** |