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 /config.c | |
parent | 50ecb07c724091ea2556fda8738d7500a77b0f9b (diff) |
some settings stuff
Diffstat (limited to 'config.c')
-rw-r--r-- | config.c | 20 |
1 files changed, 20 insertions, 0 deletions
@@ -1313,3 +1313,23 @@ void settings_color_floats(const Settings *settings, ColorSetting color, float f rgba_u32_to_floats(settings_color(settings, color), f); } + +u16 settings_tab_width(const Settings *settings) { + return settings->tab_width; +} + +bool settings_indent_with_spaces(const Settings *settings) { + return settings->indent_with_spaces; +} + +bool settings_auto_indent(const Settings *settings) { + return settings->auto_indent; +} + +float settings_border_thickness(const Settings *settings) { + return settings->border_thickness; +} + +float settings_padding(const Settings *settings) { + return settings->padding; +} |