154155156157158159160161162163164
if(addedGlobalListener) { shell.getDisplay().removeFilter(SWT.MouseDown, globalListener); addedGlobalListener = false; } c.dispose(); } }); }
202203204205206207208209210211212
colorTable.clear(); for (int i = 0; i < blueHeaderColor.length; i++) { Color color = blueHeaderColor[i]; color.dispose(); } for (int i = 0; i < darkBrownColor.length; i++) { Color color = darkBrownColor[i]; color.dispose();
207208209210211212213214215216217
color.dispose(); } for (int i = 0; i < darkBrownColor.length; i++) { Color color = darkBrownColor[i]; color.dispose(); } for (int i = 0; i < lightBlueButtonColor.length; i++) { Color color = lightBlueButtonColor[i]; color.dispose();
212213214215216217218219220221222
color.dispose(); } for (int i = 0; i < lightBlueButtonColor.length; i++) { Color color = lightBlueButtonColor[i]; color.dispose(); } for (int i = 0; i < lightBrownColor.length; i++) { Color color = lightBrownColor[i]; color.dispose();
217218219220221222223224225226227
color.dispose(); } for (int i = 0; i < lightBrownColor.length; i++) { Color color = lightBrownColor[i]; color.dispose(); } for (int i = 0; i < lightBrownColorReverse.length; i++) { Color color = lightBrownColorReverse[i]; color.dispose();
222223224225226227228229230231232
color.dispose(); } for (int i = 0; i < lightBrownColorReverse.length; i++) { Color color = lightBrownColorReverse[i]; color.dispose(); } for (int i = 0; i < lightOliveButtonColor.length; i++) { Color color = lightOliveButtonColor[i]; color.dispose();
227228229230231232233234235236237
color.dispose(); } for (int i = 0; i < lightOliveButtonColor.length; i++) { Color color = lightOliveButtonColor[i]; color.dispose(); } for (int i = 0; i < lightSilverButtonColor.length; i++) { Color color = lightSilverButtonColor[i]; color.dispose();
232233234235236237238239240241242
color.dispose(); } for (int i = 0; i < lightSilverButtonColor.length; i++) { Color color = lightSilverButtonColor[i]; color.dispose(); } for (int i = 0; i < oliveHeaderColor.length; i++) { Color color = oliveHeaderColor[i]; color.dispose();
237238239240241242243244245246247
color.dispose(); } for (int i = 0; i < oliveHeaderColor.length; i++) { Color color = oliveHeaderColor[i]; color.dispose(); } for (int i = 0; i < silverHeaderColor.length; i++) { Color color = silverHeaderColor[i]; color.dispose();
242243244245246247248249250251252
color.dispose(); } for (int i = 0; i < silverHeaderColor.length; i++) { Color color = silverHeaderColor[i]; color.dispose(); } blueButtonBackground.dispose(); blueToolbarColor.dispose(); silverButtonBackground.dispose();