mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-04-23 22:52:11 +02:00
Revert "Bug 465963 - Changing "Variable text font" preference has no effect"
This reverts commit 6d6666df33
.
This commit is contained in:
parent
6d6666df33
commit
9d848e3ede
1 changed files with 0 additions and 8 deletions
|
@ -13,7 +13,6 @@ package org.eclipse.cdt.dsf.debug.ui.viewmodel.variable;
|
||||||
import org.eclipse.cdt.dsf.ui.viewmodel.properties.LabelFont;
|
import org.eclipse.cdt.dsf.ui.viewmodel.properties.LabelFont;
|
||||||
import org.eclipse.debug.ui.IDebugUIConstants;
|
import org.eclipse.debug.ui.IDebugUIConstants;
|
||||||
import org.eclipse.jface.resource.JFaceResources;
|
import org.eclipse.jface.resource.JFaceResources;
|
||||||
import org.eclipse.swt.graphics.FontData;
|
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* @since 2.0
|
* @since 2.0
|
||||||
|
@ -23,11 +22,4 @@ public class VariableLabelFont extends LabelFont {
|
||||||
public VariableLabelFont() {
|
public VariableLabelFont() {
|
||||||
super(JFaceResources.getFontDescriptor(IDebugUIConstants.PREF_VARIABLE_TEXT_FONT).getFontData()[0]);
|
super(JFaceResources.getFontDescriptor(IDebugUIConstants.PREF_VARIABLE_TEXT_FONT).getFontData()[0]);
|
||||||
}
|
}
|
||||||
|
|
||||||
@Override
|
|
||||||
public FontData getFontData() {
|
|
||||||
// Requesting the font descriptor from JFaceResources every time when this method is called
|
|
||||||
// guarantees that changes made in the Preferences dialog will be applied.
|
|
||||||
return JFaceResources.getFontDescriptor(IDebugUIConstants.PREF_VARIABLE_TEXT_FONT).getFontData()[0];
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
Loading…
Add table
Reference in a new issue