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/SettingsDialog.m | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tikzit/src/gtk/SettingsDialog.m') 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