medit/moo/mooedit/mooeditprefs.c

328 lines
13 KiB
C

/* -*- Mode: C; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 4; coding: utf-8 -*-
*
* Copyright (C) 2004-2005 by Yevgen Muntyan <muntyan@math.tamu.edu>
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
*
* See COPYING file that comes with this distribution.
*/
#ifdef HAVE_CONFIG_H
#include <config.h>
#endif
#define MOOEDIT_COMPILATION
#include "mooedit/mooeditprefs.h"
#include "mooedit/mooedit-private.h"
#include "mooedit/mootextbuffer.h"
#include <string.h>
#define STR_STACK_SIZE 4
const char *moo_edit_setting (const char *setting_name)
{
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;
}
static void set_matching_bracket_styles (MooEdit *edit);
static void set_font (MooEdit *edit);
static void set_text_colors (MooEdit *edit);
static void set_highlight_current_line (MooEdit *edit);
#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)
void _moo_edit_set_default_settings (void)
{
GtkSettings *settings;
GtkStyle *style;
GdkColor color;
NEW_KEY_BOOL (MOO_EDIT_PREFS_SEARCH_SELECTED, FALSE);
NEW_KEY_BOOL (MOO_EDIT_PREFS_SMART_HOME_END, TRUE);
NEW_KEY_INT (MOO_EDIT_PREFS_TABS_WIDTH, 8);
NEW_KEY_BOOL (MOO_EDIT_PREFS_SPACES_NO_TABS, FALSE);
NEW_KEY_BOOL (MOO_EDIT_PREFS_AUTO_INDENT, FALSE);
NEW_KEY_BOOL (MOO_EDIT_PREFS_LIMIT_UNDO, FALSE);
NEW_KEY_INT (MOO_EDIT_PREFS_LIMIT_UNDO_NUM, 25);
NEW_KEY_BOOL (MOO_EDIT_PREFS_WRAP_ENABLE, FALSE);
NEW_KEY_BOOL (MOO_EDIT_PREFS_WRAP_DONT_SPLIT_WORDS, TRUE);
NEW_KEY_BOOL (MOO_EDIT_PREFS_SHOW_LINE_NUMBERS, FALSE);
NEW_KEY_BOOL (MOO_EDIT_PREFS_SHOW_MARGIN, FALSE);
NEW_KEY_INT (MOO_EDIT_PREFS_MARGIN, 80);
NEW_KEY_BOOL (MOO_EDIT_PREFS_CHECK_BRACKETS, TRUE);
NEW_KEY_BOOL (MOO_EDIT_PREFS_USE_DEFAULT_FONT, FALSE);
NEW_KEY_STRING (MOO_EDIT_PREFS_FONT, "Courier New 11");
NEW_KEY_BOOL (MOO_EDIT_PREFS_USE_DEFAULT_COLORS, TRUE);
NEW_KEY_BOOL (MOO_EDIT_PREFS_HIGHLIGHT_CURRENT_LINE, TRUE);
NEW_KEY_BOOL (MOO_EDIT_PREFS_USE_SYNTAX_HIGHLIGHTING, TRUE);
NEW_KEY_ENUM (MOO_EDIT_PREFS_ON_EXTERNAL_CHANGES,
MOO_TYPE_EDIT_ON_EXTERNAL_CHANGES,
MOO_EDIT_RELOAD_IF_SAFE);
settings = gtk_settings_get_default ();
style = gtk_rc_get_style_by_paths (settings, "MooEdit", "MooEdit", MOO_TYPE_EDIT);
if (!style) style = gtk_style_new ();
else g_object_ref (G_OBJECT (style));
g_return_if_fail (style != NULL);
NEW_KEY_COLOR (MOO_EDIT_PREFS_FOREGROUND, &(style->text[GTK_STATE_NORMAL]));
NEW_KEY_COLOR (MOO_EDIT_PREFS_BACKGROUND, &(style->base[GTK_STATE_NORMAL]));
NEW_KEY_COLOR (MOO_EDIT_PREFS_SELECTED_FOREGROUND, &(style->text[GTK_STATE_SELECTED]));
NEW_KEY_COLOR (MOO_EDIT_PREFS_SELECTED_BACKGROUND, &(style->base[GTK_STATE_SELECTED]));
gdk_color_parse ("#EEF6FF", &color);
NEW_KEY_COLOR (MOO_EDIT_PREFS_HIGHLIGHT_CURRENT_LINE_COLOR, &color);
gdk_color_parse ("#FFFF99", &color);
NEW_KEY_COLOR (MOO_EDIT_MATCHING_BRACKETS_CORRECT "/" MOO_EDIT_PREFS_BACKGROUND, &color);
gdk_color_parse ("red", &color);
NEW_KEY_COLOR (MOO_EDIT_MATCHING_BRACKETS_INCORRECT "/" MOO_EDIT_PREFS_BACKGROUND, &color);
g_object_unref (G_OBJECT (style));
}
#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)
#define get_enum(key) moo_prefs_get_enum (MOO_EDIT_PREFS_PREFIX "/" key)
void _moo_edit_apply_settings (MooEdit *edit)
{
GtkSourceView *view = GTK_SOURCE_VIEW (edit);
GtkTextView *text_view = GTK_TEXT_VIEW (edit);
GtkSourceBuffer *buffer = GTK_SOURCE_BUFFER (gtk_text_view_get_buffer (GTK_TEXT_VIEW (edit)));
gtk_source_view_set_smart_home_end (view, get_bool (MOO_EDIT_PREFS_SMART_HOME_END));
gtk_source_view_set_auto_indent (view, get_bool (MOO_EDIT_PREFS_AUTO_INDENT));
gtk_source_view_set_insert_spaces_instead_of_tabs (view, get_bool (MOO_EDIT_PREFS_SPACES_NO_TABS));
if (get_bool (MOO_EDIT_PREFS_LIMIT_UNDO))
gtk_source_buffer_set_max_undo_levels (buffer, 0);
else
gtk_source_buffer_set_max_undo_levels (buffer, get_int (MOO_EDIT_PREFS_LIMIT_UNDO_NUM));
if (get_bool (MOO_EDIT_PREFS_WRAP_ENABLE))
{
if (get_bool (MOO_EDIT_PREFS_WRAP_DONT_SPLIT_WORDS))
gtk_text_view_set_wrap_mode (text_view, GTK_WRAP_WORD);
else
gtk_text_view_set_wrap_mode (text_view, GTK_WRAP_CHAR);
}
else
{
gtk_text_view_set_wrap_mode (text_view, GTK_WRAP_NONE);
}
gtk_source_view_set_show_line_numbers (view, get_bool (MOO_EDIT_PREFS_SHOW_LINE_NUMBERS));
gtk_source_view_set_show_margin (view, get_bool (MOO_EDIT_PREFS_SHOW_MARGIN));
gtk_source_view_set_margin (view, get_int (MOO_EDIT_PREFS_MARGIN));
moo_text_buffer_set_check_brackets (MOO_TEXT_BUFFER (buffer),
get_bool (MOO_EDIT_PREFS_CHECK_BRACKETS));
set_matching_bracket_styles (edit);
set_highlight_current_line (edit);
gtk_source_buffer_set_highlight (buffer, get_bool (MOO_EDIT_PREFS_USE_SYNTAX_HIGHLIGHTING));
}
void _moo_edit_apply_style_settings (MooEdit *edit)
{
set_text_colors (edit);
set_font (edit);
gtk_source_view_set_tabs_width (GTK_SOURCE_VIEW (edit),
get_int (MOO_EDIT_PREFS_TABS_WIDTH));
}
void _moo_edit_settings_changed (const char *key,
G_GNUC_UNUSED const GValue *newval,
MooEdit *edit)
{
GtkSourceBuffer *buffer = GTK_SOURCE_BUFFER (gtk_text_view_get_buffer (GTK_TEXT_VIEW (edit)));
if (!strcmp (key, MOO_EDIT_PREFS_PREFIX "/" MOO_EDIT_PREFS_LIMIT_UNDO) ||
!strcmp (key, MOO_EDIT_PREFS_PREFIX "/" MOO_EDIT_PREFS_LIMIT_UNDO_NUM))
{
if (get_bool (MOO_EDIT_PREFS_LIMIT_UNDO))
gtk_source_buffer_set_max_undo_levels (buffer, 0);
else
gtk_source_buffer_set_max_undo_levels (buffer, get_int (MOO_EDIT_PREFS_LIMIT_UNDO_NUM));
}
else if (!strncmp (key, MOO_EDIT_PREFS_PREFIX "/" MOO_EDIT_MATCHING_BRACKETS_CORRECT,
strlen (MOO_EDIT_PREFS_PREFIX "/" MOO_EDIT_MATCHING_BRACKETS_CORRECT)))
{
set_matching_bracket_styles (edit);
}
else if (!strncmp (key, MOO_EDIT_PREFS_PREFIX "/" MOO_EDIT_MATCHING_BRACKETS_INCORRECT,
strlen (MOO_EDIT_PREFS_PREFIX "/" MOO_EDIT_MATCHING_BRACKETS_INCORRECT)))
{
set_matching_bracket_styles (edit);
}
else if (!strcmp (key, MOO_EDIT_PREFS_PREFIX "/" MOO_EDIT_PREFS_USE_DEFAULT_FONT) ||
!strcmp (key, MOO_EDIT_PREFS_PREFIX "/" MOO_EDIT_PREFS_FONT))
{
set_font (edit);
}
else if (!strcmp (key, MOO_EDIT_PREFS_PREFIX "/" MOO_EDIT_PREFS_USE_DEFAULT_COLORS) ||
!strcmp (key, MOO_EDIT_PREFS_PREFIX "/" MOO_EDIT_PREFS_FOREGROUND) ||
!strcmp (key, MOO_EDIT_PREFS_PREFIX "/" MOO_EDIT_PREFS_BACKGROUND) ||
!strcmp (key, MOO_EDIT_PREFS_PREFIX "/" MOO_EDIT_PREFS_SELECTED_FOREGROUND) ||
!strcmp (key, MOO_EDIT_PREFS_PREFIX "/" MOO_EDIT_PREFS_SELECTED_BACKGROUND) ||
!strcmp (key, MOO_EDIT_PREFS_PREFIX "/" MOO_EDIT_PREFS_BACKGROUND) ||
!strcmp (key, MOO_EDIT_PREFS_PREFIX "/" MOO_EDIT_PREFS_BACKGROUND))
{
set_text_colors (edit);
}
else if (!strcmp (key, MOO_EDIT_PREFS_PREFIX "/" MOO_EDIT_PREFS_HIGHLIGHT_CURRENT_LINE_COLOR) ||
!strcmp (key, MOO_EDIT_PREFS_PREFIX "/" MOO_EDIT_PREFS_HIGHLIGHT_CURRENT_LINE))
{
set_highlight_current_line (edit);
}
else if (!strcmp (key, MOO_EDIT_PREFS_PREFIX "/" MOO_EDIT_PREFS_USE_SYNTAX_HIGHLIGHTING))
{
gtk_source_buffer_set_highlight (buffer, get_bool (MOO_EDIT_PREFS_USE_SYNTAX_HIGHLIGHTING));
}
}
static void set_matching_bracket_styles (MooEdit *edit)
{
GtkSourceBuffer *buffer = GTK_SOURCE_BUFFER (gtk_text_view_get_buffer (GTK_TEXT_VIEW (edit)));
GtkSourceTagStyle style;
const GdkColor *color;
style.is_default = TRUE;
style.mask = 0;
style.bold = get_bool (MOO_EDIT_MATCHING_BRACKETS_CORRECT "/" MOO_EDIT_PREFS_BOLD);
style.italic = get_bool (MOO_EDIT_MATCHING_BRACKETS_CORRECT "/" MOO_EDIT_PREFS_ITALIC);
style.underline = get_bool (MOO_EDIT_MATCHING_BRACKETS_CORRECT "/" MOO_EDIT_PREFS_UNDERLINE);
style.strikethrough = get_bool (MOO_EDIT_MATCHING_BRACKETS_CORRECT "/" MOO_EDIT_PREFS_STRIKETHROUGH);
color = get_color (MOO_EDIT_MATCHING_BRACKETS_CORRECT "/" MOO_EDIT_PREFS_BACKGROUND);
if (color)
{
style.background = *color;
style.mask |= GTK_SOURCE_TAG_STYLE_USE_BACKGROUND;
}
color = get_color (MOO_EDIT_MATCHING_BRACKETS_CORRECT "/" MOO_EDIT_PREFS_FOREGROUND);
if (color)
{
style.foreground = *color;
style.mask |= GTK_SOURCE_TAG_STYLE_USE_FOREGROUND;
}
moo_text_buffer_set_bracket_match_style (MOO_TEXT_BUFFER (buffer), &style);
// style.mask = 0;
// style.bold = get_bool (MOO_EDIT_MATCHING_BRACKETS_INCORRECT "/" MOO_EDIT_PREFS_BOLD);
// style.italic = get_bool (MOO_EDIT_MATCHING_BRACKETS_INCORRECT "/" MOO_EDIT_PREFS_ITALIC);
// style.underline = get_bool (MOO_EDIT_MATCHING_BRACKETS_INCORRECT "/" MOO_EDIT_PREFS_UNDERLINE);
// style.strikethrough = get_bool (MOO_EDIT_MATCHING_BRACKETS_INCORRECT "/" MOO_EDIT_PREFS_STRIKETHROUGH);
// color = get_color (MOO_EDIT_MATCHING_BRACKETS_INCORRECT "/" MOO_EDIT_PREFS_BACKGROUND);
//
// if (color)
// {
// style.background = *color;
// style.mask |= GTK_SOURCE_TAG_STYLE_USE_BACKGROUND;
// }
//
// color = get_color (MOO_EDIT_MATCHING_BRACKETS_INCORRECT "/" MOO_EDIT_PREFS_FOREGROUND);
//
// if (color)
// {
// style.foreground = *color;
// style.mask |= GTK_SOURCE_TAG_STYLE_USE_FOREGROUND;
// }
//
// moo_text_buffer_set_bracket_match_style (MOO_TEXT_BUFFER (buffer), &style);
}
static void set_font (MooEdit *edit)
{
if (get_bool (MOO_EDIT_PREFS_USE_DEFAULT_FONT))
moo_text_view_set_font_from_string (MOO_TEXT_VIEW (edit), NULL);
else
moo_text_view_set_font_from_string (MOO_TEXT_VIEW (edit),
get_string (MOO_EDIT_PREFS_FONT));
}
static void set_text_colors (MooEdit *edit)
{
GtkWidget *widget = GTK_WIDGET (edit);
if (!GTK_WIDGET_REALIZED (widget)) return;
if (get_bool (MOO_EDIT_PREFS_USE_DEFAULT_COLORS)) {
gtk_widget_modify_text (widget, GTK_STATE_NORMAL, NULL);
gtk_widget_modify_base (widget, GTK_STATE_NORMAL, NULL);
gtk_widget_modify_text (widget, GTK_STATE_SELECTED, NULL);
gtk_widget_modify_base (widget, GTK_STATE_SELECTED, NULL);
}
else {
gtk_widget_modify_text (widget, GTK_STATE_NORMAL,
get_color (MOO_EDIT_PREFS_FOREGROUND));
gtk_widget_modify_base (widget, GTK_STATE_NORMAL,
get_color (MOO_EDIT_PREFS_BACKGROUND));
gtk_widget_modify_text (widget, GTK_STATE_SELECTED,
get_color (MOO_EDIT_PREFS_SELECTED_FOREGROUND));
gtk_widget_modify_base (widget, GTK_STATE_SELECTED,
get_color (MOO_EDIT_PREFS_SELECTED_BACKGROUND));
}
}
static void set_highlight_current_line (MooEdit *edit)
{
const GdkColor *color;
GdkColor c;
MooTextView *view = MOO_TEXT_VIEW (edit);
color = get_color (MOO_EDIT_PREFS_HIGHLIGHT_CURRENT_LINE_COLOR);
if (!color)
{
gdk_color_parse ("#EEF6FF", &c);
moo_prefs_set_color (MOO_EDIT_PREFS_PREFIX "/" MOO_EDIT_PREFS_HIGHLIGHT_CURRENT_LINE_COLOR, &c);
}
else
{
c = *color;
}
moo_text_view_set_highlight_current_line (view, get_bool (MOO_EDIT_PREFS_HIGHLIGHT_CURRENT_LINE));
moo_text_view_set_current_line_color (view, &c);
}