forks
/
dlangide
mirror of https://github.com/buggins/dlangide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

setting for editor font size - close #249

This commit is contained in:
Vadim Lopatin 2017-09-07 11:37:30 +03:00
parent 9f63bb0603
commit 8ba1d31b98
4 changed files with 14 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/dlangide/ui/dsourceedit.d
View File

@ -95,6 +95,7 @@ class DSourceEdit : SourceEdit, EditableContentMarksChangeListener {
@property IDESettings settings() {
return _settings;
}
protected int _previousFontSizeSetting;
void applySettings() {
if (!_settings)
return;
@ -111,6 +112,12 @@ class DSourceEdit : SourceEdit, EditableContentMarksChangeListener {
face ~= ",";
face ~= DEFAULT_SOURCE_EDIT_FONT_FACES;
fontFace = face;
int newFontSizeSetting = _settings.editorFontSize;
bool needChangeFontSize = _previousFontSizeSetting == 0 || (_previousFontSizeSetting != newFontSizeSetting && _previousFontSizeSetting.pointsToPixels == fontSize);
if (needChangeFontSize) {
fontSize = newFontSizeSetting.pointsToPixels;
_previousFontSizeSetting = newFontSizeSetting;
}
}
protected EditorTool _editorTool;

2
src/dlangide/ui/settings.d
View File

@ -122,6 +122,8 @@ SettingsPage createSettingsPages() {
// editor font faces
texted.addStringComboBox("editors/textEditor/fontFace", UIString.fromId("OPTION_FONT_FACE"c), createFaceList(true));
texted.addIntComboBox("editors/textEditor/fontSize", UIString.fromId("OPTION_FONT_SIZE"c),
createIntValueList([6,7,8,9,10,11,12,14,16,18,20,22,24,26,28,30,32]));
texted.addNumberEdit("editors/textEditor/tabSize", UIString.fromId("OPTION_TAB"c), 1, 16, 4);
texted.addCheckbox("editors/textEditor/useSpacesForTabs", UIString.fromId("OPTION_USE_SPACES"c));

7
src/dlangide/workspace/idesettings.d
View File

@ -24,6 +24,7 @@ class IDESettings : SettingsFile {
ed.setBooleanDef("showWhiteSpaceMarks", true);
ed.setBooleanDef("showTabPositionMarks", true);
ed.setStringDef("fontFace", "Default");
ed.setIntegerDef("fontSize", 11);
Setting ui = uiSettings();
ui.setStringDef("theme", "ide_theme_default");
ui.setStringDef("language", "en");
@ -170,10 +171,10 @@ class IDESettings : SettingsFile {
@property bool showTabPositionMarks() { return editorSettings.getBoolean("showTabPositionMarks", true); }
/// set tab position marks enabled flag
@property IDESettings showTabPositionMarks(bool enabled) { editorSettings.setBoolean("showTabPositionMarks", enabled); return this; }
/// string value of font face
/// string value of font face in text editors
@property string editorFontFace() { return editorSettings.getString("fontFace", "Default"); }
/// int value of font size in text editors
@property int editorFontSize() { return cast(int)editorSettings.getInteger("fontSize", 11); }
/// true if smart indents are enabled
@property bool smartIndentsAfterPaste() { return editorSettings.getBoolean("smartIndentsAfterPaste", true); }

2
views/VERSION
View File

@ -1 +1 @@
v0.7.67
v0.7.68