 |
tDocument theme configuration - ledit - Text editor (WIP) |
 |
git clone git://lumidify.org/ledit.git (fast, but not encrypted) |
|
git clone https://lumidify.org/git/ledit.git (encrypted, but very slow) |
 |
Log |
|
Files |
|
Refs |
|
README |
|
LICENSE |
|
--- |
|
commit 4fef329f121b6b6b9d40e6abb75825f6117fa8be |
|
parent 4b2801f07dbfc124f04ab0aeaf05ee36f9e1f836 |
|
Author: lumidify <[email protected]> |
|
Date: Sat, 25 Dec 2021 17:50:23 +0100 |
|
|
|
Document theme configuration |
|
|
|
Diffstat: |
|
M ledit.1 | 3 +++ |
|
M theme_config.h | 10 ++++++++++ |
|
|
|
2 files changed, 13 insertions(+), 0 deletions(-) |
|
--- |
|
diff --git a/ledit.1 b/ledit.1 |
|
t@@ -861,6 +861,9 @@ This is similar to |
|
.Pa keys_basic_config.h , |
|
but contains the keys used during line editing mode or while performing |
|
commands such as substitution with confirmation. |
|
+.It Pa theme_config.h |
|
+This contains the configuration of the theme. |
|
+The configuration options are described in the file itself. |
|
.El |
|
.Pp |
|
This short explanation of the configuration is not very good currently. |
|
diff --git a/theme_config.h b/theme_config.h |
|
t@@ -1,12 +1,22 @@ |
|
+/* font used for all text */ |
|
static const char *TEXT_FONT = "Monospace"; |
|
+/* size used for text in points or whatever pango uses */ |
|
static const int TEXT_SIZE = 12; |
|
+/* foreground color of main text area */ |
|
static const char *TEXT_FG = "#000000"; |
|
+/* background color of main text area */ |
|
static const char *TEXT_BG = "#FFFFFF"; |
|
+/* foreground color of status bar/line editor */ |
|
static const char *BAR_FG = "#000000"; |
|
+/* background color of status bar/line editor */ |
|
static const char *BAR_BG = "#CCCCCC"; |
|
|
|
/* FIXME: give in units other than pixels */ |
|
+/* scrollbar width in pixels */ |
|
static const int SCROLLBAR_WIDTH = 10; |
|
+/* number of pixels scrolled with every scroll event */ |
|
static const int SCROLLBAR_STEP = 20; |
|
+/* background color of scrollbar */ |
|
static const char *SCROLLBAR_BG = "#CCCCCC"; |
|
+/* color of scrollbar handle */ |
|
static const char *SCROLLBAR_FG = "#000000"; |
