2006-04-28 16:09:58 -05:00
|
|
|
/*
|
2005-09-06 16:21:05 +00:00
|
|
|
* mooeditprefs.h
|
2005-06-22 18:20:32 +00:00
|
|
|
*
|
2010-11-07 01:20:45 -08:00
|
|
|
* Copyright (C) 2004-2010 by Yevgen Muntyan <emuntyan@sourceforge.net>
|
2005-06-22 18:20:32 +00:00
|
|
|
*
|
2008-09-05 17:20:50 -05:00
|
|
|
* This file is part of medit. medit 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
|
|
|
*
|
2008-09-05 17:20:50 -05:00
|
|
|
* You should have received a copy of the GNU Lesser General Public
|
|
|
|
* License along with medit. If not, see <http://www.gnu.org/licenses/>.
|
2005-06-22 18:20:32 +00:00
|
|
|
*/
|
|
|
|
|
2007-06-10 04:06:03 -05:00
|
|
|
#ifndef MOO_EDIT_PREFS_H
|
|
|
|
#define MOO_EDIT_PREFS_H
|
2005-06-22 18:20:32 +00:00
|
|
|
|
2005-10-13 14:08:18 +00:00
|
|
|
#include <mooedit/mooeditor.h>
|
2005-06-22 18:20:32 +00:00
|
|
|
|
|
|
|
G_BEGIN_DECLS
|
|
|
|
|
|
|
|
|
|
|
|
#define MOO_EDIT_PREFS_PREFIX "Editor"
|
|
|
|
|
2008-08-30 13:53:46 -05:00
|
|
|
GtkWidget *moo_edit_prefs_page_new (MooEditor *editor);
|
|
|
|
GtkWidget *moo_edit_prefs_page_new_1 (MooEditor *editor);
|
|
|
|
GtkWidget *moo_edit_prefs_page_new_2 (MooEditor *editor);
|
|
|
|
GtkWidget *moo_edit_prefs_page_new_3 (MooEditor *editor);
|
|
|
|
GtkWidget *moo_edit_prefs_page_new_4 (MooEditor *editor);
|
|
|
|
GtkWidget *moo_edit_prefs_page_new_5 (MooEditor *editor);
|
2005-06-22 18:20:32 +00:00
|
|
|
|
|
|
|
/* defined in mooeditprefs.c */
|
2008-08-30 13:53:46 -05:00
|
|
|
const char *moo_edit_setting (const char *setting_name);
|
2005-06-22 18:20:32 +00:00
|
|
|
|
2007-09-05 18:20:01 -05:00
|
|
|
#define MOO_EDIT_PREFS_TITLE_FORMAT "window_title"
|
|
|
|
#define MOO_EDIT_PREFS_TITLE_FORMAT_NO_DOC "window_title_no_doc"
|
2007-11-22 16:10:07 -06:00
|
|
|
#define MOO_EDIT_PREFS_USE_TABS "use_tabs"
|
2007-11-22 21:42:49 -06:00
|
|
|
#define MOO_EDIT_PREFS_OPEN_NEW_WINDOW "open_new_window"
|
2007-09-05 18:20:01 -05:00
|
|
|
|
2006-06-01 02:09:07 -05:00
|
|
|
#define MOO_EDIT_PREFS_SAVE_SESSION "save_session"
|
2005-06-22 18:20:32 +00:00
|
|
|
|
2005-12-08 22:46:03 +00:00
|
|
|
#define MOO_EDIT_PREFS_SPACES_NO_TABS "spaces_instead_of_tabs"
|
|
|
|
#define MOO_EDIT_PREFS_INDENT_WIDTH "indent_width"
|
2007-07-10 11:57:07 -05:00
|
|
|
#define MOO_EDIT_PREFS_TAB_WIDTH "tab_width"
|
2006-04-25 00:10:36 -05:00
|
|
|
#define MOO_EDIT_PREFS_AUTO_INDENT "auto_indent"
|
2007-12-02 12:19:02 -06:00
|
|
|
#define MOO_EDIT_PREFS_TAB_INDENTS "tab_indents"
|
2006-04-25 00:10:36 -05:00
|
|
|
#define MOO_EDIT_PREFS_BACKSPACE_INDENTS "backspace_indents"
|
2005-12-08 22:46:03 +00:00
|
|
|
|
|
|
|
#define MOO_EDIT_PREFS_AUTO_SAVE "auto_save"
|
|
|
|
#define MOO_EDIT_PREFS_AUTO_SAVE_INTERVAL "auto_save_interval"
|
|
|
|
#define MOO_EDIT_PREFS_MAKE_BACKUPS "make_backups"
|
|
|
|
#define MOO_EDIT_PREFS_STRIP "strip"
|
2007-12-24 10:24:33 -06:00
|
|
|
#define MOO_EDIT_PREFS_ADD_NEWLINE "add_newline"
|
2005-12-08 22:46:03 +00:00
|
|
|
|
|
|
|
#define MOO_EDIT_PREFS_COLOR_SCHEME "color_scheme"
|
|
|
|
|
|
|
|
#define MOO_EDIT_PREFS_SMART_HOME_END "smart_home_end"
|
|
|
|
#define MOO_EDIT_PREFS_WRAP_ENABLE "wrapping_enable"
|
|
|
|
#define MOO_EDIT_PREFS_WRAP_WORDS "wrapping_dont_split_words"
|
|
|
|
#define MOO_EDIT_PREFS_ENABLE_HIGHLIGHTING "enable_highlighting"
|
|
|
|
#define MOO_EDIT_PREFS_HIGHLIGHT_MATCHING "highlight_matching_brackets"
|
|
|
|
#define MOO_EDIT_PREFS_HIGHLIGHT_MISMATCHING "highlight_mismatching_brackets"
|
|
|
|
#define MOO_EDIT_PREFS_HIGHLIGHT_CURRENT_LINE "highlight_current_line"
|
2007-07-15 04:51:58 -05:00
|
|
|
#define MOO_EDIT_PREFS_DRAW_RIGHT_MARGIN "draw_right_margin"
|
|
|
|
#define MOO_EDIT_PREFS_RIGHT_MARGIN_OFFSET "right_margin_offset"
|
2005-12-08 22:46:03 +00:00
|
|
|
#define MOO_EDIT_PREFS_SHOW_LINE_NUMBERS "show_line_numbers"
|
|
|
|
#define MOO_EDIT_PREFS_SHOW_TABS "show_tabs"
|
2010-07-10 23:52:04 -07:00
|
|
|
#define MOO_EDIT_PREFS_SHOW_SPACES "show_spaces"
|
2005-12-08 22:46:03 +00:00
|
|
|
#define MOO_EDIT_PREFS_SHOW_TRAILING_SPACES "show_trailing_spaces"
|
|
|
|
#define MOO_EDIT_PREFS_FONT "font"
|
2006-11-14 00:58:23 -06:00
|
|
|
#define MOO_EDIT_PREFS_LINE_NUMBERS_FONT "line_numbers_font"
|
2005-12-08 22:46:03 +00:00
|
|
|
|
2006-04-28 16:09:58 -05:00
|
|
|
#define MOO_EDIT_PREFS_LAST_DIR "last_dir"
|
2006-11-19 01:12:56 -06:00
|
|
|
#define MOO_EDIT_PREFS_PDF_LAST_DIR "pdf_last_dir"
|
2005-12-08 22:46:03 +00:00
|
|
|
|
2006-11-19 12:36:05 -06:00
|
|
|
#define MOO_EDIT_PREFS_DIALOGS "dialogs"
|
|
|
|
#define MOO_EDIT_PREFS_DIALOG_OPEN MOO_EDIT_PREFS_DIALOGS "/open"
|
2007-08-07 00:19:47 -05:00
|
|
|
#define MOO_EDIT_PREFS_DIALOGS_OPEN_FOLLOWS_DOC "open_dialog_follows_doc"
|
2006-11-19 12:36:05 -06:00
|
|
|
|
2006-04-05 01:22:26 -05:00
|
|
|
#define MOO_EDIT_PREFS_QUICK_SEARCH_FLAGS "quick_search_flags"
|
2006-06-04 22:14:33 -05:00
|
|
|
#define MOO_EDIT_PREFS_SEARCH_FLAGS "search_flags"
|
2006-04-05 01:22:26 -05:00
|
|
|
|
2007-02-27 22:55:05 -06:00
|
|
|
#define MOO_EDIT_PREFS_ENCODINGS "encodings"
|
2007-05-02 00:37:36 -05:00
|
|
|
#define MOO_EDIT_PREFS_ENCODING_SAVE "encoding_save"
|
2007-02-27 22:55:05 -06:00
|
|
|
|
2010-11-23 21:54:39 -08:00
|
|
|
#define MOO_EDIT_ENCODING_LOCALE "LOCALE"
|
|
|
|
const char *_moo_get_default_encodings (void);
|
|
|
|
const char *_moo_edit_get_default_encoding (void);
|
2005-06-22 18:20:32 +00:00
|
|
|
|
|
|
|
G_END_DECLS
|
|
|
|
|
2007-06-10 04:06:03 -05:00
|
|
|
#endif /* MOO_EDIT_PREFS_H */
|