URI: 
       theme_config.h - ledit - Text editor (WIP)
  HTML git clone git://lumidify.org/ledit.git (fast, but not encrypted)
  HTML git clone https://lumidify.org/ledit.git (encrypted, but very slow)
  HTML git clone git://4kcetb7mo7hj6grozzybxtotsub5bempzo4lirzc3437amof2c2impyd.onion/ledit.git (over tor)
   DIR Log
   DIR Files
   DIR Refs
   DIR README
   DIR LICENSE
       ---
       theme_config.h (1940B)
       ---
            1 #ifndef _THEME_CONFIG_H_
            2 #define _THEME_CONFIG_H_
            3 
            4 /***********************
            5  * Theme configuration *
            6  ***********************/
            7 
            8 /* Note: Integer values have to be given as strings because
            9    that simplifies some things in the config parser. */
           10 
           11 /* FIXME: Check what happens when 0 is given for integer values */
           12 
           13 /* font used for all text */
           14 static const char *TEXT_FONT = "Monospace";
           15 /* size used for text in points or whatever pango uses */
           16 static const char *TEXT_SIZE = "12";
           17 /* text color of main text area */
           18 static const char *TEXT_FG = "#000000";
           19 /* background color of main text area */
           20 static const char *TEXT_BG = "#FFFFFF";
           21 /* color of text under cursor */
           22 static const char *CURSOR_FG = "#FFFFFF";
           23 /* color of text cursor */
           24 static const char *CURSOR_BG = "#000000";
           25 /* color of selected text */
           26 static const char *SELECTION_FG = "#FFFFFF";
           27 /* color of selection */
           28 static const char *SELECTION_BG = "#000000";
           29 
           30 /* text color of status bar/line editor */
           31 static const char *BAR_FG = "#000000";
           32 /* background color of status bar/line editor */
           33 static const char *BAR_BG = "#CCCCCC";
           34 /* color of text cursor in line editor */
           35 static const char *BAR_CURSOR = "#000000";
           36 /* format of bottom bar */
           37 static const char *BAR_FMT = "%k%s%l,%b%s%m|%h";
           38 
           39 /* FIXME: give in units other than pixels */
           40 /* scrollbar width in pixels */
           41 static const char *SCROLLBAR_WIDTH = "10";
           42 /* number of pixels scrolled with every scroll event */
           43 static const char *SCROLLBAR_STEP = "20";
           44 /* background color of scrollbar */
           45 static const char *SCROLLBAR_BG = "#CCCCCC";
           46 /* color of scrollbar handle */
           47 static const char *SCROLLBAR_FG = "#000000";
           48 /* whether to highlight entire words when searching/replacing */
           49 /* FIXME: this should maybe be in a separate "general config" section */
           50 static const char *HIGHLIGHT_SEARCH = "false";
           51 
           52 /* extra space between lines (in pixels) */
           53 static const char *EXTRA_LINE_SPACING = "0";
           54 
           55 #endif /* _THEME_CONFIG_H_ */