[gnome-builder] editor: match the rest of default gnome and use 11 as default pt.
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] editor: match the rest of default gnome and use 11 as default pt.
- Date: Tue, 23 Sep 2014 23:21:00 +0000 (UTC)
commit cce653ec3a805e0426aac2b0d9018252cce9a4bb
Author: Christian Hergert <christian hergert me>
Date: Tue Sep 23 16:20:45 2014 -0700
editor: match the rest of default gnome and use 11 as default pt.
src/editor/gb-editor-settings.c | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/editor/gb-editor-settings.c b/src/editor/gb-editor-settings.c
index 7cc2b8e..ab04d5f 100644
--- a/src/editor/gb-editor-settings.c
+++ b/src/editor/gb-editor-settings.c
@@ -30,7 +30,7 @@
#include "gb-editor-settings.h"
-#define DEFAULT_FONT "Monospace 10"
+#define DEFAULT_FONT "Monospace 11"
#define DEFAULT_SCHEME "tango"
struct _GbEditorSettingsPrivate
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]