From 70139e02d87eda4e26d9d3d04da51706ab1c7b01 Mon Sep 17 00:00:00 2001 From: Alex Merry Date: Tue, 7 May 2013 09:45:58 +0100 Subject: Change "preferences" to "configuration" "Preferences" suggests it's about non-essential behavioural or visual changes, but you need to configure TikZiT to use it properly (especially adding node and edge styles). Also, fix the title of the configuration window not to say "premable editor". --- tikzit/src/gtk/Menu.m | 4 ++-- tikzit/src/gtk/SettingsDialog.m | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tikzit/src/gtk/Menu.m b/tikzit/src/gtk/Menu.m index feac6b8..04c9c31 100644 --- a/tikzit/src/gtk/Menu.m +++ b/tikzit/src/gtk/Menu.m @@ -152,8 +152,8 @@ static GtkActionEntry app_action_entries[] = { { "Tool", NULL, N_("_Tool") }, - { "ShowPreferences", GTK_STOCK_PREFERENCES, NULL, NULL, - N_("Edit the TikZiT preferences"), G_CALLBACK (show_preferences_cb) }, + { "ShowPreferences", GTK_STOCK_PREFERENCES, N_("Configure TikZiT..."), NULL, + N_("Edit the TikZiT configuration"), G_CALLBACK (show_preferences_cb) }, #ifdef HAVE_POPPLER { "ShowPreamble", NULL, N_("_Edit Preambles..."), NULL, diff --git a/tikzit/src/gtk/SettingsDialog.m b/tikzit/src/gtk/SettingsDialog.m index 2844e81..bdb5db6 100644 --- a/tikzit/src/gtk/SettingsDialog.m +++ b/tikzit/src/gtk/SettingsDialog.m @@ -168,7 +168,7 @@ static void cancel_button_clicked_cb (GtkButton *widget, SettingsDialog *dialog) window = GTK_WINDOW (gtk_window_new (GTK_WINDOW_TOPLEVEL)); gtk_window_set_default_size (window, 570, -1); - gtk_window_set_title (window, "Preamble editor"); + gtk_window_set_title (window, "TikZiT Configuration"); gtk_window_set_modal (window, TRUE); gtk_window_set_position (window, GTK_WIN_POS_CENTER_ON_PARENT); gtk_window_set_type_hint (window, GDK_WINDOW_TYPE_HINT_DIALOG); -- cgit v1.2.3