875876877878879880881882883884885
Control control = coolItem.getControl(); if (control != null) { coolItem.setControl(null); control.dispose(); } coolItem.dispose(); } } // Add any new items by telling them to fill. coolItems = coolBar.getItems();
942943944945946947948949950951952
Control control = item.getControl(); if (control != null) { item.setControl(null); control.dispose(); } item.dispose(); changed = true; } } // Update wrap indices.
807808809810811812813814815816817
Point bl = ctrl.getLocation(); Point cl = bar.getLocation(); // Toss them now... ctrl.dispose(); item.dispose(); bar.dispose(); // The 'size' is the difference between the start of teh CoolBar and // start of its first control int length;
271272273274275276277278279280281
870871872873874875876877878879880
931932933934935936937938939940941