[chronojump] preferences font show needs restart on change
- From: Xavier de Blas <xaviblas src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [chronojump] preferences font show needs restart on change
- Date: Fri, 2 Oct 2020 13:01:23 +0000 (UTC)
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;
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]