2006-05-04 22:41:23 -05:00
|
|
|
/*
|
2007-04-07 03:21:52 -05:00
|
|
|
* mooeditprefs.c
|
|
|
|
*
|
|
|
|
* Copyright (C) 2004-2007 by Yevgen Muntyan <muntyan@math.tamu.edu>
|
2005-06-22 18:20:32 +00:00
|
|
|
*
|
2007-06-24 12:56:20 -05:00
|
|
|
* This library is free software; you can redistribute it and/or
|
|
|
|
* modify it under the terms of the GNU Lesser General Public
|
|
|
|
* License as published by the Free Software Foundation; either
|
|
|
|
* version 2.1 of the License, or (at your option) any later version.
|
2005-06-22 18:20:32 +00:00
|
|
|
*
|
|
|
|
* See COPYING file that comes with this distribution.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#define MOOEDIT_COMPILATION
|
|
|
|
#include "mooedit/mooeditprefs.h"
|
|
|
|
#include "mooedit/mooedit-private.h"
|
2007-04-10 02:20:06 -05:00
|
|
|
#include "mooedit/mooeditfileops.h"
|
2006-11-14 00:58:23 -06:00
|
|
|
#include "mooedit/mootextview-private.h"
|
2006-08-19 02:50:56 -05:00
|
|
|
#include "mooedit/mooedit-enums.h"
|
2005-09-09 09:40:10 +00:00
|
|
|
#include "mooedit/mootextbuffer.h"
|
2007-05-02 00:37:36 -05:00
|
|
|
#include "mooutils/mooencodings.h"
|
2005-06-22 18:20:32 +00:00
|
|
|
#include <string.h>
|
|
|
|
|
|
|
|
|
2006-07-27 14:39:53 -05:00
|
|
|
static void _moo_edit_init_prefs (void);
|
2005-07-29 11:51:36 +00:00
|
|
|
|
|
|
|
|
2006-07-27 14:39:53 -05:00
|
|
|
static guint settings[MOO_EDIT_LAST_SETTING];
|
|
|
|
guint *_moo_edit_settings = settings;
|
2005-07-29 11:51:36 +00:00
|
|
|
|
|
|
|
|
2006-07-27 14:39:53 -05:00
|
|
|
void
|
|
|
|
_moo_edit_init_config (void)
|
|
|
|
{
|
|
|
|
static gboolean done = FALSE;
|
2005-07-29 11:51:36 +00:00
|
|
|
|
2006-07-27 14:39:53 -05:00
|
|
|
if (done)
|
|
|
|
return;
|
|
|
|
done = TRUE;
|
|
|
|
|
|
|
|
_moo_edit_init_prefs ();
|
|
|
|
|
|
|
|
_moo_edit_settings[MOO_EDIT_SETTING_LANG] =
|
|
|
|
moo_edit_config_install_setting (g_param_spec_string ("lang", "lang", "lang",
|
|
|
|
NULL,
|
|
|
|
G_PARAM_READWRITE));
|
|
|
|
_moo_edit_settings[MOO_EDIT_SETTING_INDENT] =
|
|
|
|
moo_edit_config_install_setting (g_param_spec_string ("indent", "indent", "indent",
|
|
|
|
NULL,
|
|
|
|
G_PARAM_READWRITE));
|
|
|
|
_moo_edit_settings[MOO_EDIT_SETTING_STRIP] =
|
|
|
|
moo_edit_config_install_setting (g_param_spec_boolean ("strip", "strip", "strip",
|
|
|
|
FALSE,
|
|
|
|
G_PARAM_READWRITE));
|
|
|
|
_moo_edit_settings[MOO_EDIT_SETTING_WRAP_MODE] =
|
|
|
|
moo_edit_config_install_setting (g_param_spec_enum ("wrap-mode", "wrap-mode", "wrap-mode",
|
|
|
|
GTK_TYPE_WRAP_MODE, GTK_WRAP_NONE,
|
|
|
|
G_PARAM_READWRITE));
|
|
|
|
_moo_edit_settings[MOO_EDIT_SETTING_SHOW_LINE_NUMBERS] =
|
|
|
|
moo_edit_config_install_setting (g_param_spec_boolean ("show-line-numbers", "show-line-numbers", "show-line-numbers",
|
|
|
|
FALSE,
|
|
|
|
G_PARAM_READWRITE));
|
|
|
|
_moo_edit_settings[MOO_EDIT_SETTING_TAB_WIDTH] =
|
|
|
|
moo_edit_config_install_setting (g_param_spec_uint ("tab-width", "tab-width", "tab-width",
|
|
|
|
1, G_MAXUINT, 8,
|
|
|
|
G_PARAM_READWRITE));
|
2005-06-22 18:20:32 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-04-05 01:22:26 -05:00
|
|
|
#define NEW_KEY_BOOL(s,v) moo_prefs_new_key_bool (MOO_EDIT_PREFS_PREFIX "/" s, v)
|
|
|
|
#define NEW_KEY_INT(s,v) moo_prefs_new_key_int (MOO_EDIT_PREFS_PREFIX "/" s, v)
|
|
|
|
#define NEW_KEY_STRING(s,v) moo_prefs_new_key_string (MOO_EDIT_PREFS_PREFIX "/" s, v)
|
|
|
|
#define NEW_KEY_COLOR(s,v) moo_prefs_new_key_color (MOO_EDIT_PREFS_PREFIX "/" s, v)
|
|
|
|
#define NEW_KEY_ENUM(s,t,v) moo_prefs_new_key_enum (MOO_EDIT_PREFS_PREFIX "/" s, t, v)
|
|
|
|
#define NEW_KEY_FLAGS(s,t,v) moo_prefs_new_key_flags (MOO_EDIT_PREFS_PREFIX "/" s, t, v)
|
2005-06-22 18:20:32 +00:00
|
|
|
|
2006-07-27 14:39:53 -05:00
|
|
|
static void
|
|
|
|
_moo_edit_init_prefs (void)
|
2005-06-22 18:20:32 +00:00
|
|
|
{
|
2005-12-08 22:46:03 +00:00
|
|
|
static gboolean done = FALSE;
|
|
|
|
|
|
|
|
if (done)
|
|
|
|
return;
|
|
|
|
else
|
|
|
|
done = TRUE;
|
|
|
|
|
2005-07-28 19:25:10 +00:00
|
|
|
NEW_KEY_BOOL (MOO_EDIT_PREFS_SPACES_NO_TABS, FALSE);
|
2005-12-08 22:46:03 +00:00
|
|
|
NEW_KEY_INT (MOO_EDIT_PREFS_INDENT_WIDTH, 8);
|
2007-07-10 11:57:07 -05:00
|
|
|
NEW_KEY_INT (MOO_EDIT_PREFS_TAB_WIDTH, 8);
|
2006-04-25 00:10:36 -05:00
|
|
|
NEW_KEY_ENUM (MOO_EDIT_PREFS_TAB_KEY_ACTION,
|
|
|
|
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_BACKSPACE_INDENTS, FALSE);
|
2005-12-08 22:46:03 +00:00
|
|
|
|
2007-07-20 13:19:23 -05:00
|
|
|
NEW_KEY_BOOL (MOO_EDIT_PREFS_SAVE_SESSION, TRUE);
|
2005-09-14 07:06:17 +00:00
|
|
|
NEW_KEY_BOOL (MOO_EDIT_PREFS_AUTO_SAVE, FALSE);
|
|
|
|
NEW_KEY_INT (MOO_EDIT_PREFS_AUTO_SAVE_INTERVAL, 5);
|
2005-12-08 22:46:03 +00:00
|
|
|
NEW_KEY_BOOL (MOO_EDIT_PREFS_MAKE_BACKUPS, FALSE);
|
|
|
|
NEW_KEY_BOOL (MOO_EDIT_PREFS_STRIP, FALSE);
|
|
|
|
|
2006-11-12 21:20:30 -06:00
|
|
|
NEW_KEY_STRING (MOO_EDIT_PREFS_COLOR_SCHEME, "kate");
|
2005-12-08 22:46:03 +00:00
|
|
|
|
2007-06-20 23:37:08 -05:00
|
|
|
NEW_KEY_BOOL (MOO_EDIT_PREFS_SMART_HOME_END, TRUE);
|
2005-12-08 22:46:03 +00:00
|
|
|
NEW_KEY_BOOL (MOO_EDIT_PREFS_WRAP_ENABLE, FALSE);
|
|
|
|
NEW_KEY_BOOL (MOO_EDIT_PREFS_WRAP_WORDS, TRUE);
|
|
|
|
NEW_KEY_BOOL (MOO_EDIT_PREFS_ENABLE_HIGHLIGHTING, TRUE);
|
|
|
|
NEW_KEY_BOOL (MOO_EDIT_PREFS_HIGHLIGHT_MATCHING, TRUE);
|
|
|
|
NEW_KEY_BOOL (MOO_EDIT_PREFS_HIGHLIGHT_MISMATCHING, FALSE);
|
|
|
|
NEW_KEY_BOOL (MOO_EDIT_PREFS_HIGHLIGHT_CURRENT_LINE, TRUE);
|
2007-07-15 04:51:58 -05:00
|
|
|
NEW_KEY_BOOL (MOO_EDIT_PREFS_DRAW_RIGHT_MARGIN, FALSE);
|
|
|
|
NEW_KEY_INT (MOO_EDIT_PREFS_RIGHT_MARGIN_OFFSET, 80);
|
2007-06-20 23:37:08 -05:00
|
|
|
NEW_KEY_BOOL (MOO_EDIT_PREFS_SHOW_LINE_NUMBERS, FALSE);
|
|
|
|
NEW_KEY_BOOL (MOO_EDIT_PREFS_SHOW_TABS, FALSE);
|
|
|
|
NEW_KEY_BOOL (MOO_EDIT_PREFS_SHOW_TRAILING_SPACES, FALSE);
|
|
|
|
NEW_KEY_BOOL (MOO_EDIT_PREFS_USE_DEFAULT_FONT, FALSE);
|
|
|
|
NEW_KEY_STRING (MOO_EDIT_PREFS_FONT, "Monospace");
|
2006-04-05 01:22:26 -05:00
|
|
|
NEW_KEY_FLAGS (MOO_EDIT_PREFS_QUICK_SEARCH_FLAGS,
|
|
|
|
MOO_TYPE_TEXT_SEARCH_FLAGS,
|
|
|
|
MOO_TEXT_SEARCH_CASELESS);
|
2006-11-14 00:58:23 -06:00
|
|
|
NEW_KEY_STRING (MOO_EDIT_PREFS_LINE_NUMBERS_FONT, NULL);
|
2007-02-27 22:55:05 -06:00
|
|
|
|
2007-04-10 02:20:06 -05:00
|
|
|
NEW_KEY_STRING (MOO_EDIT_PREFS_ENCODINGS, _moo_get_default_encodings ());
|
2007-05-02 00:37:36 -05:00
|
|
|
NEW_KEY_STRING (MOO_EDIT_PREFS_ENCODING_SAVE, MOO_ENCODING_UTF8);
|
2005-06-22 18:20:32 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-07-28 19:25:10 +00:00
|
|
|
#define get_string(key) moo_prefs_get_string (MOO_EDIT_PREFS_PREFIX "/" key)
|
|
|
|
#define get_bool(key) moo_prefs_get_bool (MOO_EDIT_PREFS_PREFIX "/" key)
|
|
|
|
#define get_int(key) moo_prefs_get_int (MOO_EDIT_PREFS_PREFIX "/" key)
|
|
|
|
#define get_color(key) moo_prefs_get_color (MOO_EDIT_PREFS_PREFIX "/" key)
|
2005-07-29 11:51:36 +00:00
|
|
|
#define get_enum(key) moo_prefs_get_enum (MOO_EDIT_PREFS_PREFIX "/" key)
|
2006-04-05 01:22:26 -05:00
|
|
|
#define get_flags(key) moo_prefs_get_flags (MOO_EDIT_PREFS_PREFIX "/" key)
|
2005-06-22 18:20:32 +00:00
|
|
|
|
2005-12-08 23:26:08 +00:00
|
|
|
void
|
2006-07-27 14:39:53 -05:00
|
|
|
_moo_edit_update_global_config (void)
|
|
|
|
{
|
|
|
|
gboolean use_tabs, strip, show_line_numbers;
|
2007-07-10 11:57:07 -05:00
|
|
|
int indent_width, tab_width;
|
2006-07-27 14:39:53 -05:00
|
|
|
GtkWrapMode wrap_mode;
|
|
|
|
|
|
|
|
use_tabs = !get_bool (MOO_EDIT_PREFS_SPACES_NO_TABS);
|
|
|
|
indent_width = get_int (MOO_EDIT_PREFS_INDENT_WIDTH);
|
2007-07-10 11:57:07 -05:00
|
|
|
tab_width = get_int (MOO_EDIT_PREFS_TAB_WIDTH);
|
2006-07-27 14:39:53 -05:00
|
|
|
strip = get_bool (MOO_EDIT_PREFS_STRIP);
|
|
|
|
show_line_numbers = get_bool (MOO_EDIT_PREFS_SHOW_LINE_NUMBERS);
|
|
|
|
|
|
|
|
if (get_bool (MOO_EDIT_PREFS_WRAP_ENABLE))
|
|
|
|
{
|
|
|
|
if (get_bool (MOO_EDIT_PREFS_WRAP_WORDS))
|
|
|
|
wrap_mode = GTK_WRAP_WORD;
|
|
|
|
else
|
|
|
|
wrap_mode = GTK_WRAP_CHAR;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
wrap_mode = GTK_WRAP_NONE;
|
|
|
|
}
|
|
|
|
|
|
|
|
moo_edit_config_set_global (MOO_EDIT_CONFIG_SOURCE_AUTO,
|
|
|
|
"indent-use-tabs", use_tabs,
|
|
|
|
"indent-width", indent_width,
|
2007-07-10 11:57:07 -05:00
|
|
|
"tab-width", tab_width,
|
2006-07-27 14:39:53 -05:00
|
|
|
"strip", strip,
|
|
|
|
"show-line-numbers", show_line_numbers,
|
|
|
|
"wrap-mode", wrap_mode,
|
|
|
|
NULL);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void
|
|
|
|
_moo_edit_apply_prefs (MooEdit *edit)
|
2005-06-22 18:20:32 +00:00
|
|
|
{
|
2006-04-26 14:08:39 -05:00
|
|
|
MooLangMgr *mgr;
|
2006-08-26 04:46:29 -05:00
|
|
|
MooTextStyleScheme *scheme;
|
2005-12-08 22:46:03 +00:00
|
|
|
|
|
|
|
g_return_if_fail (MOO_IS_EDIT (edit));
|
|
|
|
|
2006-04-26 14:08:39 -05:00
|
|
|
g_object_freeze_notify (G_OBJECT (edit));
|
|
|
|
|
|
|
|
g_object_set (edit,
|
2005-12-08 22:46:03 +00:00
|
|
|
"smart-home-end", get_bool (MOO_EDIT_PREFS_SMART_HOME_END),
|
|
|
|
"enable-highlight", get_bool (MOO_EDIT_PREFS_ENABLE_HIGHLIGHTING),
|
|
|
|
"highlight-matching-brackets", get_bool (MOO_EDIT_PREFS_HIGHLIGHT_MATCHING),
|
|
|
|
"highlight-mismatching-brackets", get_bool (MOO_EDIT_PREFS_HIGHLIGHT_MISMATCHING),
|
|
|
|
"highlight-current-line", get_bool (MOO_EDIT_PREFS_HIGHLIGHT_CURRENT_LINE),
|
2007-07-15 04:51:58 -05:00
|
|
|
"draw-right-margin", get_bool (MOO_EDIT_PREFS_DRAW_RIGHT_MARGIN),
|
|
|
|
"right-margin-offset", get_int (MOO_EDIT_PREFS_RIGHT_MARGIN_OFFSET),
|
2005-12-08 22:46:03 +00:00
|
|
|
"draw-tabs", get_bool (MOO_EDIT_PREFS_SHOW_TABS),
|
|
|
|
"draw-trailing-spaces", get_bool (MOO_EDIT_PREFS_SHOW_TRAILING_SPACES),
|
2006-04-05 01:22:26 -05:00
|
|
|
"quick-search-flags", get_flags (MOO_EDIT_PREFS_QUICK_SEARCH_FLAGS),
|
2006-04-25 00:10:36 -05:00
|
|
|
"tab-key-action", get_enum (MOO_EDIT_PREFS_TAB_KEY_ACTION),
|
|
|
|
"auto-indent", get_bool (MOO_EDIT_PREFS_AUTO_INDENT),
|
|
|
|
"backspace-indents", get_bool (MOO_EDIT_PREFS_BACKSPACE_INDENTS),
|
2005-12-08 22:46:03 +00:00
|
|
|
NULL);
|
2005-06-22 18:20:32 +00:00
|
|
|
|
|
|
|
if (get_bool (MOO_EDIT_PREFS_USE_DEFAULT_FONT))
|
2005-09-09 09:40:10 +00:00
|
|
|
moo_text_view_set_font_from_string (MOO_TEXT_VIEW (edit), NULL);
|
2005-06-22 18:20:32 +00:00
|
|
|
else
|
2005-09-09 09:54:58 +00:00
|
|
|
moo_text_view_set_font_from_string (MOO_TEXT_VIEW (edit),
|
2005-09-09 09:40:10 +00:00
|
|
|
get_string (MOO_EDIT_PREFS_FONT));
|
2005-12-12 10:58:25 +00:00
|
|
|
|
2006-11-14 00:58:23 -06:00
|
|
|
_moo_text_view_set_line_numbers_font (MOO_TEXT_VIEW (edit),
|
|
|
|
get_string (MOO_EDIT_PREFS_LINE_NUMBERS_FONT));
|
|
|
|
|
2005-12-12 10:58:25 +00:00
|
|
|
mgr = moo_editor_get_lang_mgr (edit->priv->editor);
|
2007-06-18 00:17:05 -05:00
|
|
|
scheme = moo_lang_mgr_get_active_scheme (mgr);
|
2006-08-26 04:46:29 -05:00
|
|
|
|
|
|
|
if (scheme)
|
|
|
|
moo_text_view_set_style_scheme (MOO_TEXT_VIEW (edit), scheme);
|
2006-04-26 14:08:39 -05:00
|
|
|
|
|
|
|
g_object_thaw_notify (G_OBJECT (edit));
|
2005-12-08 22:46:03 +00:00
|
|
|
}
|
2006-07-27 14:39:53 -05:00
|
|
|
|
|
|
|
|
|
|
|
const char *
|
|
|
|
moo_edit_setting (const char *setting_name)
|
|
|
|
{
|
|
|
|
#define STR_STACK_SIZE 4
|
|
|
|
static GString *stack[STR_STACK_SIZE];
|
|
|
|
static guint p;
|
|
|
|
|
|
|
|
g_return_val_if_fail (setting_name != NULL, NULL);
|
|
|
|
|
|
|
|
if (!stack[0])
|
|
|
|
{
|
|
|
|
for (p = 0; p < STR_STACK_SIZE; ++p)
|
|
|
|
stack[p] = g_string_new ("");
|
|
|
|
p = STR_STACK_SIZE - 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (p == STR_STACK_SIZE - 1)
|
|
|
|
p = 0;
|
|
|
|
else
|
|
|
|
p++;
|
|
|
|
|
|
|
|
g_string_printf (stack[p], MOO_EDIT_PREFS_PREFIX "/%s", setting_name);
|
|
|
|
return stack[p]->str;
|
|
|
|
#undef STR_STACK_SIZE
|
|
|
|
}
|