URI: 
       tDocument theme configuration - ledit - Text editor (WIP)
  HTML git clone git://lumidify.org/ledit.git (fast, but not encrypted)
  HTML git clone https://lumidify.org/git/ledit.git (encrypted, but very slow)
   DIR Log
   DIR Files
   DIR Refs
   DIR README
   DIR LICENSE
       ---
   DIR commit 4fef329f121b6b6b9d40e6abb75825f6117fa8be
   DIR parent 4b2801f07dbfc124f04ab0aeaf05ee36f9e1f836
  HTML Author: lumidify <nobody@lumidify.org>
       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(-)
       ---
   DIR 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.
   DIR 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";