2006-04-28 14:09:58 -07:00
|
|
|
/*
|
2005-09-06 09:21:05 -07:00
|
|
|
* mooeditprefs.h
|
2005-06-22 11:20:32 -07:00
|
|
|
*
|
2007-04-07 01:21:52 -07:00
|
|
|
* Copyright (C) 2004-2007 by Yevgen Muntyan <muntyan@math.tamu.edu>
|
2005-06-22 11:20:32 -07:00
|
|
|
*
|
2007-06-24 10:56:20 -07: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 11:20:32 -07:00
|
|
|
*
|
|
|
|
* See COPYING file that comes with this distribution.
|
|
|
|
*/
|
|
|
|
|
2007-06-10 02:06:03 -07:00
|
|
|
#ifndef MOO_EDIT_PREFS_H
|
|
|
|
#define MOO_EDIT_PREFS_H
|
2005-06-22 11:20:32 -07:00
|
|
|
|
2005-10-13 07:08:18 -07:00
|
|
|
#include <mooedit/mooeditor.h>
|
2005-06-22 11:20:32 -07:00
|
|
|
|
|
|
|
G_BEGIN_DECLS
|
|
|
|
|
|
|
|
|
|
|
|
#define MOO_EDIT_PREFS_PREFIX "Editor"
|
|
|
|
|
|
|
|
GtkWidget *moo_edit_prefs_page_new (MooEditor *editor);
|
2005-10-13 07:08:18 -07:00
|
|
|
GtkWidget *moo_edit_colors_prefs_page_new (MooEditor *editor);
|
2005-06-22 11:20:32 -07:00
|
|
|
|
|
|
|
/* defined in mooeditprefs.c */
|
|
|
|
const char *moo_edit_setting (const char *setting_name);
|
|
|
|
|
2006-04-09 02:56:23 -07:00
|
|
|
#define MOO_EDIT_PREFS_DEFAULT_LANG "default_lang"
|
2006-06-01 00:09:07 -07:00
|
|
|
#define MOO_EDIT_PREFS_SAVE_SESSION "save_session"
|
2005-06-22 11:20:32 -07:00
|
|
|
|
2006-04-24 22:10:36 -07:00
|
|
|
#define MOO_EDIT_PREFS_TAB_KEY_ACTION "tab_key_action"
|
2005-12-08 14:46:03 -08:00
|
|
|
#define MOO_EDIT_PREFS_SPACES_NO_TABS "spaces_instead_of_tabs"
|
|
|
|
#define MOO_EDIT_PREFS_INDENT_WIDTH "indent_width"
|
2007-07-10 09:57:07 -07:00
|
|
|
#define MOO_EDIT_PREFS_TAB_WIDTH "tab_width"
|
2006-04-24 22:10:36 -07:00
|
|
|
#define MOO_EDIT_PREFS_AUTO_INDENT "auto_indent"
|
|
|
|
#define MOO_EDIT_PREFS_BACKSPACE_INDENTS "backspace_indents"
|
2005-12-08 14:46:03 -08: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"
|
|
|
|
|
|
|
|
#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 02:51:58 -07:00
|
|
|
#define MOO_EDIT_PREFS_DRAW_RIGHT_MARGIN "draw_right_margin"
|
|
|
|
#define MOO_EDIT_PREFS_RIGHT_MARGIN_OFFSET "right_margin_offset"
|
2005-12-08 14:46:03 -08:00
|
|
|
#define MOO_EDIT_PREFS_SHOW_LINE_NUMBERS "show_line_numbers"
|
|
|
|
#define MOO_EDIT_PREFS_SHOW_TABS "show_tabs"
|
|
|
|
#define MOO_EDIT_PREFS_SHOW_TRAILING_SPACES "show_trailing_spaces"
|
|
|
|
#define MOO_EDIT_PREFS_USE_DEFAULT_FONT "use_default_font"
|
|
|
|
#define MOO_EDIT_PREFS_FONT "font"
|
2006-11-13 22:58:23 -08:00
|
|
|
#define MOO_EDIT_PREFS_LINE_NUMBERS_FONT "line_numbers_font"
|
2005-12-08 14:46:03 -08:00
|
|
|
|
2006-04-28 14:09:58 -07:00
|
|
|
#define MOO_EDIT_PREFS_LAST_DIR "last_dir"
|
2006-11-18 23:12:56 -08:00
|
|
|
#define MOO_EDIT_PREFS_PDF_LAST_DIR "pdf_last_dir"
|
2005-12-08 14:46:03 -08:00
|
|
|
|
2006-11-19 10:36:05 -08:00
|
|
|
#define MOO_EDIT_PREFS_DIALOGS "dialogs"
|
|
|
|
#define MOO_EDIT_PREFS_DIALOG_OPEN MOO_EDIT_PREFS_DIALOGS "/open"
|
2007-08-06 22:19:47 -07:00
|
|
|
#define MOO_EDIT_PREFS_DIALOGS_OPEN_FOLLOWS_DOC "open_dialog_follows_doc"
|
2006-11-19 10:36:05 -08:00
|
|
|
|
2006-04-04 23:22:26 -07:00
|
|
|
#define MOO_EDIT_PREFS_QUICK_SEARCH_FLAGS "quick_search_flags"
|
2006-06-04 20:14:33 -07:00
|
|
|
#define MOO_EDIT_PREFS_SEARCH_FLAGS "search_flags"
|
2006-04-04 23:22:26 -07:00
|
|
|
|
2007-02-27 20:55:05 -08:00
|
|
|
#define MOO_EDIT_PREFS_ENCODINGS "encodings"
|
2007-05-01 22:37:36 -07:00
|
|
|
#define MOO_EDIT_PREFS_ENCODING_SAVE "encoding_save"
|
2007-02-27 20:55:05 -08:00
|
|
|
|
2005-06-22 11:20:32 -07:00
|
|
|
|
|
|
|
G_END_DECLS
|
|
|
|
|
2007-06-10 02:06:03 -07:00
|
|
|
#endif /* MOO_EDIT_PREFS_H */
|