[chronojump] preferences font show needs restart on change

[Xavier de Blas <xaviblas src gnome org>]

commit b57dd5a80892d30e4da30cc66c8f0f56ab8ad024
Author: Xavier de Blas <xaviblas gmail com>
Date:   Fri Oct 2 14:58:51 2020 +0200

    preferences font show needs restart on change

 glade/preferences_win.glade | 21 +++++++++++++++++++++
 src/gui/preferences.cs      | 10 ++++++++++
 2 files changed, 31 insertions(+)
---
diff --git a/glade/preferences_win.glade b/glade/preferences_win.glade
index dd634c42..275e4d68 100644
--- a/glade/preferences_win.glade
+++ b/glade/preferences_win.glade
@@ -492,6 +492,7 @@
                                         <property name="receives_default">False</property>
                                         <property name="active">True</property>
                                         <property name="draw_indicator">True</property>
+                                        <signal name="toggled" handler="on_radio_font_courier_toggled" 
swapped="no"/>
                                       </widget>
                                       <packing>
                                         <property name="expand">False</property>
@@ -508,6 +509,7 @@
                                         <property name="active">True</property>
                                         <property name="draw_indicator">True</property>
                                         <property name="group">radio_font_courier</property>
+                                        <signal name="toggled" handler="on_radio_font_helvetica_toggled" 
swapped="no"/>
                                       </widget>
                                       <packing>
                                         <property name="expand">True</property>
@@ -515,6 +517,25 @@
                                         <property name="position">1</property>
                                       </packing>
                                     </child>
+                                    <child>
+                                      <widget class="GtkAlignment" id="alignment7">
+                                        <property name="visible">True</property>
+                                        <property name="can_focus">False</property>
+                                        <property name="left_padding">30</property>
+                                        <child>
+                                          <widget class="GtkLabel" id="label_radio_font_needs_restart">
+                                            <property name="can_focus">False</property>
+                                            <property name="xalign">0</property>
+                                            <property name="label" translatable="yes">(needs 
restart)</property>
+                                          </widget>
+                                        </child>
+                                      </widget>
+                                      <packing>
+                                        <property name="expand">True</property>
+                                        <property name="fill">True</property>
+                                        <property name="position">2</property>
+                                      </packing>
+                                    </child>
                                   </widget>
                                   <packing>
                                     <property name="expand">False</property>
diff --git a/src/gui/preferences.cs b/src/gui/preferences.cs
index 95ea3d31..e2e372c5 100644
--- a/src/gui/preferences.cs
+++ b/src/gui/preferences.cs
@@ -73,6 +73,7 @@ public class PreferencesWindow
        [Widget] Gtk.Label label_recommended_undecorated;
        [Widget] Gtk.RadioButton radio_font_courier;
        [Widget] Gtk.RadioButton radio_font_helvetica;
+       [Widget] Gtk.Label label_radio_font_needs_restart;
 
        [Widget] Gtk.RadioButton radio_color_custom;
        [Widget] Gtk.RadioButton radio_color_chronojump_blue;
@@ -844,6 +845,15 @@ public class PreferencesWindow
                }
        }
 
+       private void on_radio_font_courier_toggled (object o, EventArgs args)
+       {
+               label_radio_font_needs_restart.Visible = true;
+       }
+       private void on_radio_font_helvetica_toggled (object o, EventArgs args)
+       {
+               label_radio_font_needs_restart.Visible = true;
+       }
+
        private void on_radio_encoder_capture_show_all_bars_toggled (object o, EventArgs args)
        {
                spin_encoder_capture_show_only_some_bars.Sensitive = false;