ledit

Text editor (WIP)
git clone git://lumidify.org/ledit.git (fast, but not encrypted)
git clone https://lumidify.org/ledit.git (encrypted, but very slow)
git clone git://4kcetb7mo7hj6grozzybxtotsub5bempzo4lirzc3437amof2c2impyd.onion/ledit.git (over tor)
Log | Files | Refs | README | 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_ */