diff options
author | pommicket <pommicket@gmail.com> | 2023-08-15 10:50:30 -0300 |
---|---|---|
committer | pommicket <pommicket@gmail.com> | 2023-08-15 10:50:30 -0300 |
commit | 4ea381d6a8a2a560213de896bab2aad02a70f937 (patch) | |
tree | c0a3abe1dc27717ff1ea598dd0dbd4867f457e5b /ted.h | |
parent | 50ecb07c724091ea2556fda8738d7500a77b0f9b (diff) |
some settings stuff
Diffstat (limited to 'ted.h')
-rw-r--r-- | ted.h | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -813,7 +813,16 @@ char *settings_get_root_dir(const Settings *settings, const char *path); u32 settings_color(const Settings *settings, ColorSetting color); /// get color as four floats void settings_color_floats(const Settings *settings, ColorSetting color, float f[4]); - +/// get tab width +u16 settings_tab_width(const Settings *settings); +/// get whether to indent with spaces +bool settings_indent_with_spaces(const Settings *settings); +/// get whether auto-indent is enabled +bool settings_auto_indent(const Settings *settings); +/// get border thickness +float settings_border_thickness(const Settings *settings); +/// get padding +float settings_padding(const Settings *settings); // === find.c === /// which buffer will be searched? |