nyje/medit
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Made tab width a preferences item

Browse Source
This commit is contained in:
Yevgen Muntyan 2007-07-10 11:57:07 -05:00
parent d1cfccd4e5
commit 194bc53e07
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
moo/mooedit/mooeditprefs.c
View File

@ -86,6 +86,7 @@ _moo_edit_init_prefs (void)
NEW_KEY_BOOL (MOO_EDIT_PREFS_SPACES_NO_TABS, FALSE); NEW_KEY_BOOL (MOO_EDIT_PREFS_SPACES_NO_TABS, FALSE);
NEW_KEY_INT (MOO_EDIT_PREFS_INDENT_WIDTH, 8); NEW_KEY_INT (MOO_EDIT_PREFS_INDENT_WIDTH, 8);
NEW_KEY_INT (MOO_EDIT_PREFS_TAB_WIDTH, 8);
NEW_KEY_ENUM (MOO_EDIT_PREFS_TAB_KEY_ACTION, NEW_KEY_ENUM (MOO_EDIT_PREFS_TAB_KEY_ACTION,
MOO_TYPE_TEXT_TAB_KEY_ACTION, MOO_TEXT_TAB_KEY_INDENT); MOO_TYPE_TEXT_TAB_KEY_ACTION, MOO_TEXT_TAB_KEY_INDENT);
NEW_KEY_BOOL (MOO_EDIT_PREFS_AUTO_INDENT, TRUE); NEW_KEY_BOOL (MOO_EDIT_PREFS_AUTO_INDENT, TRUE);
@ -131,11 +132,12 @@ void
_moo_edit_update_global_config (void) _moo_edit_update_global_config (void)
{ {
gboolean use_tabs, strip, show_line_numbers; gboolean use_tabs, strip, show_line_numbers;
int indent_width; int indent_width, tab_width;
GtkWrapMode wrap_mode; GtkWrapMode wrap_mode;
use_tabs = !get_bool (MOO_EDIT_PREFS_SPACES_NO_TABS); use_tabs = !get_bool (MOO_EDIT_PREFS_SPACES_NO_TABS);
indent_width = get_int (MOO_EDIT_PREFS_INDENT_WIDTH); indent_width = get_int (MOO_EDIT_PREFS_INDENT_WIDTH);
tab_width = get_int (MOO_EDIT_PREFS_TAB_WIDTH);
strip = get_bool (MOO_EDIT_PREFS_STRIP); strip = get_bool (MOO_EDIT_PREFS_STRIP);
show_line_numbers = get_bool (MOO_EDIT_PREFS_SHOW_LINE_NUMBERS); show_line_numbers = get_bool (MOO_EDIT_PREFS_SHOW_LINE_NUMBERS);
@ -154,6 +156,7 @@ _moo_edit_update_global_config (void)
moo_edit_config_set_global (MOO_EDIT_CONFIG_SOURCE_AUTO, moo_edit_config_set_global (MOO_EDIT_CONFIG_SOURCE_AUTO,
"indent-use-tabs", use_tabs, "indent-use-tabs", use_tabs,
"indent-width", indent_width, "indent-width", indent_width,
"tab-width", tab_width,
"strip", strip, "strip", strip,
"show-line-numbers", show_line_numbers, "show-line-numbers", show_line_numbers,
"wrap-mode", wrap_mode, "wrap-mode", wrap_mode,

1
moo/mooedit/mooeditprefs.h
View File

@ -33,6 +33,7 @@ const char *moo_edit_setting (const char *setting_name);
#define MOO_EDIT_PREFS_TAB_KEY_ACTION "tab_key_action" #define MOO_EDIT_PREFS_TAB_KEY_ACTION "tab_key_action"
#define MOO_EDIT_PREFS_SPACES_NO_TABS "spaces_instead_of_tabs" #define MOO_EDIT_PREFS_SPACES_NO_TABS "spaces_instead_of_tabs"
#define MOO_EDIT_PREFS_INDENT_WIDTH "indent_width" #define MOO_EDIT_PREFS_INDENT_WIDTH "indent_width"
#define MOO_EDIT_PREFS_TAB_WIDTH "tab_width"
#define MOO_EDIT_PREFS_AUTO_INDENT "auto_indent" #define MOO_EDIT_PREFS_AUTO_INDENT "auto_indent"
#define MOO_EDIT_PREFS_BACKSPACE_INDENTS "backspace_indents" #define MOO_EDIT_PREFS_BACKSPACE_INDENTS "backspace_indents"