mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-23 17:05:26 +02:00
Code Issues Wiki Activity

Bug 39650: the Memory window has alignment problems.

Browse source 
Map the Memory view font to the platform text font which is monospace by default.
This commit is contained in:
Mikhail Khodjaiants 2004-05-31 18:09:34 +00:00
parent 760c2a22b5
commit d2fd90e9fb
2 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
debug/org.eclipse.cdt.debug.ui/ChangeLog
View file

@ -1,3 +1,8 @@
2004-05-31 Mikhail Khodjaiants
Bug 39650: the Memory window has alignment problems.
Map the Memory view font to the platform text font which is monospace by default.
* ICDebugPreferenceConstants.java
2004-05-28 Mikhail Khodjaiants
New implementation of the "Add Expression" editor action.
* AddExpressionActionDelegate.java: removed

3
debug/org.eclipse.cdt.debug.ui/src/org/eclipse/cdt/debug/internal/ui/preferences/ICDebugPreferenceConstants.java
View file

@ -5,6 +5,7 @@
package org.eclipse.cdt.debug.internal.ui.preferences;
import org.eclipse.cdt.debug.ui.ICDebugUIConstants;
import org.eclipse.jface.resource.JFaceResources;
import org.eclipse.swt.SWT;
import org.eclipse.swt.graphics.FontData;
import org.eclipse.swt.graphics.RGB;
@ -28,7 +29,7 @@ public interface ICDebugPreferenceConstants {
* The default values for the memory view parameters.
*/
public static final String DEFAULT_MEMORY_PADDING_CHAR = "."; //$NON-NLS-1$
public static final FontData DEFAULT_MEMORY_FONT = Display.getDefault().getSystemFont().getFontData()[0];
public static final FontData DEFAULT_MEMORY_FONT = JFaceResources.getTextFont().getFontData()[0];
public static final RGB DEFAULT_MEMORY_FOREGROUND_RGB = Display.getCurrent().getSystemColor( SWT.COLOR_LIST_FOREGROUND ).getRGB();
public static final RGB DEFAULT_MEMORY_BACKGROUND_RGB = Display.getCurrent().getSystemColor( SWT.COLOR_LIST_BACKGROUND ).getRGB();
public static final RGB DEFAULT_MEMORY_ADDRESS_RGB = Display.getCurrent().getSystemColor( SWT.COLOR_DARK_GRAY ).getRGB();