|
@@ -197,9 +197,9 @@ public class PrefsCategoryLoader extends SwingWorker<JPanel, Object> {
|
197
|
197
|
|
198
|
198
|
option.setToolTipText(null);
|
199
|
199
|
categoryPanel.getToolTipPanel().registerTooltipHandler(label,
|
200
|
|
- getTooltipText(setting));
|
|
200
|
+ getTooltipText(setting, categoryPanel));
|
201
|
201
|
categoryPanel.getToolTipPanel().registerTooltipHandler(option,
|
202
|
|
- getTooltipText(setting));
|
|
202
|
+ getTooltipText(setting, categoryPanel));
|
203
|
203
|
|
204
|
204
|
|
205
|
205
|
if (option instanceof DurationDisplay) {
|
|
@@ -223,14 +223,18 @@ public class PrefsCategoryLoader extends SwingWorker<JPanel, Object> {
|
223
|
223
|
* Returns the tooltip text for a preferences setting.
|
224
|
224
|
*
|
225
|
225
|
* @param setting Setting to get text for
|
|
226
|
+ * @param component Component tooltip applies to
|
226
|
227
|
*
|
227
|
228
|
* @return Tooltip text for the setting
|
228
|
229
|
*/
|
229
|
|
- private String getTooltipText(final PreferencesSetting setting) {
|
|
230
|
+ private String getTooltipText(final PreferencesSetting setting,
|
|
231
|
+ final JComponent component) {
|
230
|
232
|
if (setting.isRestartNeeded()) {
|
|
233
|
+ final int size = component.getFont().getSize();
|
231
|
234
|
return "<html>" + setting.getHelptext() + "<br>" +
|
232
|
|
- "<img src=\"dmdirc://com/dmdirc/res/restart-needed.png\">" +
|
233
|
|
- "Restart needed if changed</html>";
|
|
235
|
+ "<img src=\"dmdirc://com/dmdirc/res/restart-needed.png\" " +
|
|
236
|
+ "width=\""+ size +"\" height=\""+ size +"\">" +
|
|
237
|
+ " Restart needed if changed</html>";
|
234
|
238
|
}
|
235
|
239
|
return setting.getHelptext();
|
236
|
240
|
|