2005-11-22 12:26:26 +00:00
|
|
|
/*
|
|
|
|
* prefs.h - this file is part of Geany, a fast and lightweight IDE
|
|
|
|
*
|
2007-01-14 17:36:42 +00:00
|
|
|
* Copyright 2005-2007 Enrico Tröger <enrico.troeger@uvena.de>
|
|
|
|
* Copyright 2006-2007 Nick Treleaven <nick.treleaven@btinternet.com>
|
2005-11-22 12:26:26 +00:00
|
|
|
*
|
|
|
|
* 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.
|
|
|
|
*
|
|
|
|
* This program is distributed in the hope that it will be useful,
|
|
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
*
|
|
|
|
* You should have received a copy of the GNU General Public License
|
|
|
|
* along with this program; if not, write to the Free Software
|
|
|
|
* Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
|
|
|
|
*
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
|
|
#ifndef GEANY_PREFS_H
|
|
|
|
#define GEANY_PREFS_H 1
|
|
|
|
|
2007-08-23 11:34:06 +00:00
|
|
|
/* Preferences dialog settings.
|
2007-11-17 14:04:27 +00:00
|
|
|
* (See also EditorPrefs in editor.h and PrintingPrefs in printing.h).
|
2007-08-23 11:34:06 +00:00
|
|
|
* Remember to increment abi_version in plugindata.h when changing items. */
|
|
|
|
typedef struct GeanyPrefs
|
|
|
|
{
|
|
|
|
/* general */
|
|
|
|
gboolean load_session;
|
|
|
|
gboolean load_plugins;
|
|
|
|
gboolean save_winpos;
|
|
|
|
gboolean confirm_exit;
|
|
|
|
gboolean beep_on_errors;
|
|
|
|
gboolean suppress_search_dialogs;
|
|
|
|
gboolean suppress_status_messages;
|
|
|
|
gboolean switch_msgwin_pages;
|
|
|
|
gboolean auto_focus;
|
|
|
|
gchar *default_open_path;
|
|
|
|
|
|
|
|
/* interface */
|
|
|
|
gboolean sidebar_symbol_visible;
|
|
|
|
gboolean sidebar_openfiles_visible;
|
2007-10-13 09:28:26 +00:00
|
|
|
gboolean sidebar_openfiles_fullpath;
|
2007-08-23 11:34:06 +00:00
|
|
|
gchar *editor_font;
|
|
|
|
gchar *tagbar_font;
|
|
|
|
gchar *msgwin_font;
|
|
|
|
gboolean show_notebook_tabs;
|
|
|
|
gint tab_pos_editor;
|
|
|
|
gint tab_pos_msgwin;
|
|
|
|
gint tab_pos_sidebar;
|
|
|
|
gboolean statusbar_visible;
|
|
|
|
|
|
|
|
/* toolbar */
|
|
|
|
gboolean toolbar_visible;
|
|
|
|
gboolean toolbar_show_search;
|
|
|
|
gboolean toolbar_show_goto;
|
|
|
|
gboolean toolbar_show_undo;
|
|
|
|
gboolean toolbar_show_navigation;
|
|
|
|
gboolean toolbar_show_compile;
|
|
|
|
gboolean toolbar_show_zoom;
|
|
|
|
gboolean toolbar_show_colour;
|
|
|
|
gboolean toolbar_show_fileops;
|
|
|
|
gboolean toolbar_show_quit;
|
|
|
|
GtkIconSize toolbar_icon_size;
|
|
|
|
gint toolbar_icon_style;
|
|
|
|
|
|
|
|
/* files */
|
2007-08-24 16:20:33 +00:00
|
|
|
gint default_new_encoding;
|
|
|
|
gint default_open_encoding;
|
|
|
|
gboolean final_new_line;
|
|
|
|
gboolean strip_trailing_spaces;
|
|
|
|
gboolean replace_tabs;
|
2007-08-23 11:34:06 +00:00
|
|
|
gboolean tab_order_ltr;
|
2007-08-25 14:16:52 +00:00
|
|
|
gboolean show_tab_cross;
|
2007-08-23 11:34:06 +00:00
|
|
|
guint mru_length;
|
|
|
|
|
|
|
|
/* tools */
|
|
|
|
gchar *tools_browser_cmd;
|
|
|
|
gchar *tools_make_cmd;
|
|
|
|
gchar *tools_term_cmd;
|
2007-11-17 14:04:27 +00:00
|
|
|
gchar *tools_print_cmd; /// TODO unused: remove this at next abi_verison change
|
2007-08-23 11:34:06 +00:00
|
|
|
gchar *tools_grep_cmd;
|
|
|
|
gchar *context_action_cmd;
|
|
|
|
|
|
|
|
/* templates */
|
|
|
|
gchar *template_developer;
|
|
|
|
gchar *template_company;
|
|
|
|
gchar *template_mail;
|
|
|
|
gchar *template_initial;
|
|
|
|
gchar *template_version;
|
|
|
|
}
|
|
|
|
GeanyPrefs;
|
|
|
|
|
|
|
|
extern GeanyPrefs prefs;
|
|
|
|
|
|
|
|
|
2005-11-22 12:26:26 +00:00
|
|
|
void prefs_init_dialog(void);
|
|
|
|
|
2007-08-23 11:34:06 +00:00
|
|
|
void prefs_show_dialog(void);
|
2005-11-22 12:26:26 +00:00
|
|
|
|
|
|
|
void on_prefs_font_choosed(GtkFontButton *widget, gpointer user_data);
|
|
|
|
|
|
|
|
void on_prefs_color_choosed(GtkColorButton *widget, gpointer user_data);
|
|
|
|
|
2006-11-24 11:47:29 +00:00
|
|
|
void on_prefs_tools_button_clicked(GtkButton *button, gpointer user_data);
|
|
|
|
|
2005-11-22 12:26:26 +00:00
|
|
|
#endif
|