diff options
| author | Alex Merry <dev@randomguy3.me.uk> | 2013-05-07 09:45:58 +0100 |
|---|---|---|
| committer | Alex Merry <dev@randomguy3.me.uk> | 2013-05-07 09:45:58 +0100 |
| commit | 70139e02d87eda4e26d9d3d04da51706ab1c7b01 (patch) | |
| tree | 8c3bb8028242367ae7a8a405d7fe44ffa9772f8a /tikzit/src/gtk/SettingsDialog.m | |
| parent | eb55df536af97d65365f920f7e35e6534a24056c (diff) | |
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".
Diffstat (limited to 'tikzit/src/gtk/SettingsDialog.m')
| -rw-r--r-- | tikzit/src/gtk/SettingsDialog.m | 2 |
1 files changed, 1 insertions, 1 deletions
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); |