static void
pluma_prefs_manager_auto_indent_changed (GSettings *settings,
gchar *key,
gpointer user_data)
{
pluma_debug (DEBUG_PREFS);
if (strcmp (key, GPM_AUTO_INDENT) == 0)
{
gboolean enable;
GList *views;
GList *l;
enable = g_settings_get_boolean (settings, key);
views = pluma_app_get_views (pluma_app_get_default ());
l = views;
while (l != NULL)
{
gtk_source_view_set_auto_indent (GTK_SOURCE_VIEW (l->data),
enable);
l = l->next;
}
g_list_free (views);
}
}
void mape_edit_view_apply_preferences(MapeEditView* edit_view,
MapePreferences* preferences)
{
GtkSourceView* view;
GtkSourceBuffer* buffer;
GtkWrapMode wrap_mode;
view = GTK_SOURCE_VIEW(edit_view->view);
buffer = GTK_SOURCE_BUFFER(
gtk_text_view_get_buffer(GTK_TEXT_VIEW(view))
);
gtk_source_view_set_tab_width(
view,
preferences->tab_width
);
gtk_source_view_set_insert_spaces_instead_of_tabs(
view,
preferences->tab_to_spaces
);
gtk_source_view_set_auto_indent(
view,
preferences->auto_indentation
);
wrap_mode = GTK_WRAP_CHAR;
if(preferences->text_wrapping == FALSE)
wrap_mode = GTK_WRAP_NONE;
gtk_text_view_set_wrap_mode(
GTK_TEXT_VIEW(view),
wrap_mode
);
gtk_source_view_set_show_line_numbers(
view,
preferences->line_numbers
);
gtk_source_view_set_highlight_current_line(
view,
preferences->highlight_line
);
gtk_source_buffer_set_highlight_matching_brackets(
buffer,
preferences->bracket_matching
);
edit_view->fixed_seed = preferences->fixed_seed;
edit_view->random_seed = preferences->random_seed;
edit_view->map_width = preferences->map_width;
edit_view->map_height = preferences->map_height;
edit_view->map_zoom = preferences->map_zoom;
/* Rerender with new random settings */
mape_edit_view_reload(edit_view);
}
SourceView::SourceView (const std::string& language, bool readOnly)
{
// Set the search path to the language and style files
gchar* directories[2];
std::string langFilesDir = GlobalRegistry().get(RKEY_APP_PATH) + "sourceviewer/";
directories[0] = const_cast<gchar*> (langFilesDir.c_str()); // stupid GtkSourceLanguageManager is expecting non-const gchar* pointer...
directories[1] = NULL;
GtkSourceStyleSchemeManager* styleSchemeManager = gtk_source_style_scheme_manager_get_default();
gtk_source_style_scheme_manager_set_search_path(styleSchemeManager, directories);
gtk_source_style_scheme_manager_force_rescan(styleSchemeManager);
_langManager = gtk_source_language_manager_new();
gtk_source_language_manager_set_search_path(_langManager, directories);
GtkSourceLanguage* lang = gtk_source_language_manager_get_language(_langManager, language.c_str());
if (lang == NULL) {
gtkutil::errorDialog(_("Cannot find language for source viewer"));
g_error("SourceView: Cannot find language %s\n", language.c_str());
throw std::runtime_error("SourceView: Cannot find language");
}
// Remember the pointers to the textbuffers
_buffer = gtk_source_buffer_new_with_language(lang);
gtk_source_buffer_set_highlight_syntax(_buffer, TRUE);
_view = GTK_SOURCE_VIEW(gtk_source_view_new_with_buffer(_buffer));
gtk_widget_set_size_request(GTK_WIDGET(_view), 0, -1); // allow shrinking
gtk_text_view_set_wrap_mode(GTK_TEXT_VIEW(_view), GTK_WRAP_NONE);
gtk_text_view_set_editable(GTK_TEXT_VIEW(_view), readOnly ? FALSE : TRUE);
gtk_source_view_set_show_line_numbers(_view, TRUE);
gtk_source_view_set_auto_indent(_view, TRUE);
// Use a fixed width font
PangoFontDescription* fontDesc = pango_font_description_from_string("Monospace");
if (fontDesc != NULL) {
gtk_widget_modify_font(GTK_WIDGET(_view), fontDesc);
}
// Use a tab size of 4
gtk_source_view_set_tab_width(GTK_SOURCE_VIEW(_view), 4);
g_signal_connect(G_OBJECT(_view), "key_press_event", G_CALLBACK(escape_clear_focus_widget), 0);
_widget = gtkutil::ScrolledFrame(GTK_WIDGET(_view));
}
G_MODULE_EXPORT
void toggle_autoindentation(GtkWidget* widget, void* user)
{
gboolean newval = gtk_toggle_button_get_active(GTK_TOGGLE_BUTTON(widget));
GList* tab = gummi->tabmanager->tabs;
config_set_value("autoindentation", newval ? "True" : "False");
while (tab) {
gtk_source_view_set_auto_indent
(GU_TAB_CONTEXT(tab->data)->editor->view, newval);
tab = g_list_next(tab);
}
}
GtkSourceView *
init_buffer_view(GtkSourceBuffer *source_buffer) {
GtkSourceView *source_view = GTK_SOURCE_VIEW(gtk_source_view_new_with_buffer(source_buffer));
set_class(GTK_WIDGET(source_view), "editor");
gtk_text_view_set_left_margin(GTK_TEXT_VIEW(source_view), 4);
gtk_text_view_set_wrap_mode(GTK_TEXT_VIEW(source_view), GTK_WRAP_CHAR);
gtk_source_view_set_draw_spaces(source_view, GTK_SOURCE_DRAW_SPACES_TAB);
gtk_source_view_set_auto_indent(source_view, TRUE);
gtk_source_view_set_indent_on_tab(source_view, TRUE);
//gtk_source_view_set_show_line_numbers(source_view, TRUE);
return source_view;
}
src_view___::src_view___(GtkWidget* scrolled2, void* window):view___(scrolled2, window) {
buf_ = GTK_SOURCE_BUFFER (gtk_source_buffer_new (NULL));
widget_ = gtk_source_view_new_with_buffer(buf_);
gtk_container_add (GTK_CONTAINER (scrolled2), widget_);
GtkSourceView* sv = handle__();
gtk_source_view_set_show_line_numbers(sv, true);
gtk_source_view_set_tab_width(sv, 4);
gtk_source_view_set_auto_indent (sv, true);
gtk_source_view_set_smart_home_end(sv, GTK_SOURCE_SMART_HOME_END_ALWAYS);
gtk_source_view_set_draw_spaces (sv, GTK_SOURCE_DRAW_SPACES_ALL);
gtk_widget_set_can_focus(widget_, true);
}
void GUI::add_program_file(gchar * filepath){
if (this->is_empty_notebook){
this->is_empty_notebook = false;
gtk_notebook_remove_page(GTK_NOTEBOOK(this->programs_notebook), this->empty_notebook_index);
}
GuiNotebookItem notebook_item;
notebook_item.vmachine = NULL;
notebook_item.filepath = filepath;
// netobook label
notebook_item.notebook_label_text = this->extract_file_name(notebook_item.filepath);
notebook_item.notebook_label = gtk_label_new (notebook_item.notebook_label_text);
// create inner notebook vbox
notebook_item.notebook_vbox = gtk_vbox_new(FALSE, 0);
// create scrolled_window
notebook_item.notebook_scrolled_window = gtk_scrolled_window_new (NULL, NULL);
gtk_scrolled_window_set_policy (GTK_SCROLLED_WINDOW (notebook_item.notebook_scrolled_window),
GTK_POLICY_AUTOMATIC,
GTK_POLICY_AUTOMATIC);
gtk_box_pack_start (GTK_BOX (notebook_item.notebook_vbox),
notebook_item.notebook_scrolled_window,
TRUE, // vbox gives widget all remaining space
TRUE, // widget expands to fill given space
0); // pixel of padding around the widget
// create notebook_source_view
notebook_item.source_buffer = gtk_source_buffer_new (NULL);
notebook_item.source_view = gtk_source_view_new_with_buffer(notebook_item.source_buffer);
gtk_container_add (GTK_CONTAINER (notebook_item.notebook_scrolled_window), notebook_item.source_view);
gtk_source_view_set_auto_indent ( GTK_SOURCE_VIEW (notebook_item.source_view),
TRUE);
// make a tab be two spaces
gtk_source_view_set_indent_width (GTK_SOURCE_VIEW (notebook_item.source_view),
2);
gtk_source_view_set_highlight_current_line (GTK_SOURCE_VIEW (notebook_item.source_view),
TRUE);
gtk_source_view_set_show_line_numbers ( GTK_SOURCE_VIEW (notebook_item.source_view),
TRUE);
gtk_source_view_set_right_margin_position ( GTK_SOURCE_VIEW (notebook_item.source_view),
80); // default is 70 chars
gtk_source_view_set_show_right_margin ( GTK_SOURCE_VIEW (notebook_item.source_view),
TRUE);
gtk_text_view_set_wrap_mode ( GTK_TEXT_VIEW (notebook_item.source_view),
GTK_WRAP_WORD_CHAR);
gtk_text_view_set_editable ( GTK_TEXT_VIEW (notebook_item.source_view),
FALSE);
gtk_text_view_set_cursor_visible ( GTK_TEXT_VIEW (notebook_item.source_view),
FALSE);
/* setup view */
PangoFontDescription * font_desc = NULL;
font_desc = pango_font_description_from_string ("monospace");
if (font_desc != NULL){
gtk_widget_modify_font (notebook_item.source_view, font_desc);
pango_font_description_free (font_desc);
}
// get file content
gchar * buffer;
GError * error_here = NULL;
if (g_file_get_contents (notebook_item.filepath, &buffer, NULL, &error_here)){
gtk_source_buffer_begin_not_undoable_action (notebook_item.source_buffer);
gtk_source_buffer_begin_not_undoable_action (notebook_item.source_buffer);
gtk_text_buffer_set_text (GTK_TEXT_BUFFER (notebook_item.source_buffer), buffer, -1);
gtk_source_buffer_end_not_undoable_action (notebook_item.source_buffer);
gtk_text_buffer_set_modified (GTK_TEXT_BUFFER (notebook_item.source_buffer), FALSE);
/* move cursor to the beginning */
gtk_text_buffer_get_start_iter (GTK_TEXT_BUFFER (notebook_item.source_buffer), ¬ebook_item.iter);
gtk_text_buffer_place_cursor (GTK_TEXT_BUFFER (notebook_item.source_buffer), ¬ebook_item.iter);
{
GtkTextIter start, end;
char *text;
gtk_text_buffer_get_bounds (GTK_TEXT_BUFFER (notebook_item.source_buffer), &start, &end);
text = gtk_text_buffer_get_text (GTK_TEXT_BUFFER (notebook_item.source_buffer), &start, &end, TRUE);
g_assert (!strcmp (text, buffer));
g_free (text);
}
g_free (buffer);
GtkWidget * vm_frame;
vm_frame = gtk_frame_new ("VM operations");
// create buttons
notebook_item.notebook_button_hbox = gtk_hbox_new (FALSE, 0);
notebook_item.run_step_button = gtk_button_new_with_label ("Run Step");
notebook_item.run_button = gtk_button_new_with_label ("Run");
notebook_item.view_vm_mem = gtk_button_new_with_label ("View Vm memory");
// create time out input
notebook_item.timeout_field = gtk_entry_new_with_max_length(10);
GtkWidget * timeout_label;
timeout_label = gtk_label_new("Timeout:");
g_signal_connect (notebook_item.run_step_button, "clicked", G_CALLBACK (GUI::run_step_button_clicked), gpointer(this));
g_signal_connect (notebook_item.run_button, "clicked", G_CALLBACK (GUI::run_button_clicked), gpointer(this));
g_signal_connect (notebook_item.view_vm_mem, "clicked", G_CALLBACK (GUI::view_vm_mem_clicked), gpointer(this));
gtk_box_pack_start (GTK_BOX (notebook_item.notebook_button_hbox),
notebook_item.view_vm_mem,
FALSE, // vbox gives widget all remaining space
FALSE, // widget expands to fill given space
5); // pixel of padding around the widget
gtk_box_pack_start (GTK_BOX (notebook_item.notebook_button_hbox),
notebook_item.run_step_button,
FALSE, // vbox gives widget all remaining space
FALSE, // widget expands to fill given space
5); // pixel of padding around the widget
gtk_box_pack_start (GTK_BOX (notebook_item.notebook_button_hbox),
timeout_label,
FALSE, // vbox gives widget all remaining space
FALSE, // widget expands to fill given space
5); // pixel of padding around the widget
gtk_box_pack_start (GTK_BOX (notebook_item.notebook_button_hbox),
notebook_item.timeout_field,
FALSE, // vbox gives widget all remaining space
FALSE, // widget expands to fill given space
5); // pixel of padding around the widget
gtk_box_pack_start (GTK_BOX (notebook_item.notebook_button_hbox),
notebook_item.run_button,
FALSE, // vbox gives widget all remaining space
FALSE, // widget expands to fill given space
5); // pixel of padding around the widget
gtk_container_add(GTK_CONTAINER (vm_frame), notebook_item.notebook_button_hbox);
gtk_box_pack_start (GTK_BOX (notebook_item.notebook_vbox),
vm_frame,
FALSE, // vbox gives widget all remaining space
FALSE, // widget expands to fill given space
5);
gtk_notebook_append_page( GTK_NOTEBOOK(this->programs_notebook),
notebook_item.notebook_vbox,
notebook_item.notebook_label);
this->gui_notebook_item_list.push_back(notebook_item);
gtk_widget_show_all(this->programs_notebook);
} else {
g_print("WRONG \n");
}
}
SourceView::SourceView(const std::string& language, bool readOnly)
{
// Set the search path to the language and style files
gchar* directories[2];
#if defined(POSIX) && defined(PKGDATADIR)
std::string langFilesDir = std::string(PKGDATADIR) + "/sourceviewer/";
#else
std::string langFilesDir = GlobalRegistry().get(RKEY_APP_PATH) + "sourceviewer/";
#endif
directories[0] = const_cast<gchar*>(langFilesDir.c_str()); // stupid GtkSourceLanguageManager is expecting non-const gchar* pointer...
directories[1] = NULL;
GtkSourceStyleSchemeManager* styleSchemeManager = gtk_source_style_scheme_manager_get_default();
gtk_source_style_scheme_manager_set_search_path(styleSchemeManager, directories);
gtk_source_style_scheme_manager_force_rescan(styleSchemeManager);
_langManager = gtk_source_language_manager_new();
gtk_source_language_manager_set_search_path(_langManager, directories);
GtkSourceLanguage* lang = gtk_source_language_manager_get_language(_langManager, language.c_str());
if (lang == NULL)
{
globalErrorStream() << "SourceView: Cannot find language " << language << " in " << langFilesDir << std::endl;
}
// Remember the pointers to the textbuffers
if (lang != NULL)
{
_buffer = gtk_source_buffer_new_with_language(lang);
gtk_source_buffer_set_highlight_syntax(_buffer, TRUE);
}
else
{
_buffer = gtk_source_buffer_new(NULL);
gtk_source_buffer_set_highlight_syntax(_buffer, FALSE);
}
_view = GTK_SOURCE_VIEW(gtk_source_view_new_with_buffer(_buffer));
gtk_widget_set_size_request(GTK_WIDGET(_view), 0, -1); // allow shrinking
gtk_text_view_set_wrap_mode(GTK_TEXT_VIEW(_view), GTK_WRAP_WORD);
gtk_text_view_set_editable(GTK_TEXT_VIEW(_view), readOnly ? FALSE : TRUE);
gtk_source_view_set_show_line_numbers(_view, TRUE);
gtk_source_view_set_auto_indent(_view, TRUE);
// Use a fixed width font
PangoFontDescription* fontDesc = pango_font_description_from_string("Monospace");
if (fontDesc != NULL)
{
gtk_widget_modify_font(GTK_WIDGET(_view), fontDesc);
}
// Use a tab size of 4
gtk_source_view_set_tab_width(GTK_SOURCE_VIEW(_view), 4);
widget_connect_escape_clear_focus_widget(GTK_WIDGET(_view));
_widget = gtkutil::ScrolledFrame(GTK_WIDGET(_view));
}
void toggle_auto_tab(GtkWidget *caller){
gboolean state=gtk_check_menu_item_get_active(GTK_CHECK_MENU_ITEM(caller));
gtk_source_view_set_auto_indent(GTK_SOURCE_VIEW(view),(gboolean)state);
cfg_set_auto_tab((int) state);
cfg_save();
}
