[gnome-builder] markdown: add default editor settings
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] markdown: add default editor settings
- Date: Fri, 16 Oct 2015 18:13:40 +0000 (UTC)
commit 6aeba04f3c9182cb8cb3d574356b9da191d6d133
Author: Christian Hergert <christian hergert me>
Date: Fri Oct 16 11:13:22 2015 -0700
markdown: add default editor settings
4 space tabs and don't trim trailing whitespace.
Apparently you need to "<br/> " in markdown.
We might want to actually put in a special case for this at some point,
but I also don't like pandering to those on the brink of insanity.
data/file-settings/defaults.ini | 8 +++++++-
1 files changed, 7 insertions(+), 1 deletions(-)
---
diff --git a/data/file-settings/defaults.ini b/data/file-settings/defaults.ini
index fb6663c..61b766d 100644
--- a/data/file-settings/defaults.ini
+++ b/data/file-settings/defaults.ini
@@ -7,7 +7,7 @@
# "all languages" default value will get that setting overridden. A potential
# alternative is to layer backends, which is out of scope at the moment.
[global]
-version = 1
+version = 2
[automake]
insert-spaces-instead-of-tabs = false
@@ -55,6 +55,12 @@ overwrite-braces = true
insert-spaces-instead-of-tabs = false
tab-width = 8
+[markdown]
+insert-spaces-instead-of-tabs = true
+tab-width = 4
+# markdown sometimes needs trailing whitespace
+trim-trailing-whitespace = false
+
[python]
insert-spaces-instead-of-tabs = true
tab-width = 4
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]