Мне нужно использовать более крупный шрифт для одной из ярлыков.
label.setFont( new Font(display,"Arial", 14, SWT.BOLD ) );
но, очевидно, Arial не всегда является шрифтом по умолчанию. Я хочу изменить только размер и сохранить все остальное по умолчанию.
Могу ли я сделать что-то вроде
label.setFontSize( 14 );
чтобы избежать установки других параметров? Или я могу хотя бы узнать имя шрифта, который фактически используется по умолчанию?