|
Lines 48-57
Link Here
|
| 48 |
import org.eclipse.swt.SWT; |
48 |
import org.eclipse.swt.SWT; |
| 49 |
import org.eclipse.swt.events.SelectionAdapter; |
49 |
import org.eclipse.swt.events.SelectionAdapter; |
| 50 |
import org.eclipse.swt.events.SelectionEvent; |
50 |
import org.eclipse.swt.events.SelectionEvent; |
|
|
51 |
import org.eclipse.swt.graphics.Font; |
| 52 |
import org.eclipse.swt.graphics.FontData; |
| 51 |
import org.eclipse.swt.widgets.Composite; |
53 |
import org.eclipse.swt.widgets.Composite; |
| 52 |
import org.eclipse.swt.widgets.Display; |
54 |
import org.eclipse.swt.widgets.Display; |
|
|
55 |
import org.eclipse.swt.widgets.Event; |
| 53 |
import org.eclipse.swt.widgets.Listener; |
56 |
import org.eclipse.swt.widgets.Listener; |
| 54 |
import org.eclipse.swt.widgets.Shell; |
57 |
import org.eclipse.swt.widgets.Shell; |
|
|
58 |
import org.eclipse.swt.widgets.Tree; |
| 55 |
import org.eclipse.ui.PlatformUI; |
59 |
import org.eclipse.ui.PlatformUI; |
| 56 |
import org.eclipse.ui.application.IWorkbenchConfigurer; |
60 |
import org.eclipse.ui.application.IWorkbenchConfigurer; |
| 57 |
import org.eclipse.ui.application.IWorkbenchWindowConfigurer; |
61 |
import org.eclipse.ui.application.IWorkbenchWindowConfigurer; |
|
Lines 160-165
Link Here
|
| 160 |
* @see org.eclipse.ui.application.WorkbenchAdvisor#initialize |
164 |
* @see org.eclipse.ui.application.WorkbenchAdvisor#initialize |
| 161 |
*/ |
165 |
*/ |
| 162 |
public void initialize(IWorkbenchConfigurer configurer) { |
166 |
public void initialize(IWorkbenchConfigurer configurer) { |
|
|
167 |
Font f = Display.getDefault().getSystemFont(); |
| 168 |
FontData[] fontData = f.getFontData(); |
| 169 |
for (int i = 0; i < fontData.length; i++) { |
| 170 |
fontData[i].setHeight(24); |
| 171 |
} |
| 172 |
final Font bigFont = new Font(Display.getDefault(), fontData); |
| 173 |
|
| 174 |
Display.getDefault().addListener(SWT.Skin, new Listener() { |
| 175 |
|
| 176 |
public void handleEvent(Event event) { |
| 177 |
if (event.widget instanceof Tree) { |
| 178 |
((Tree)event.widget).setFont(bigFont); |
| 179 |
} |
| 180 |
} |
| 181 |
}); |
| 163 |
|
182 |
|
| 164 |
PluginActionBuilder.setAllowIdeLogging(true); |
183 |
PluginActionBuilder.setAllowIdeLogging(true); |
| 165 |
|
184 |
|
