Merge lp:~elementary-pantheon/switchboard-plug-keyboard/group-properties into lp:~elementary-pantheon/switchboard-plug-keyboard/trunk

Proposed by Danielle Foré
Status: Merged
Approved by: Corentin Noël
Approved revision: 513
Merged at revision: 514
Proposed branch: lp:~elementary-pantheon/switchboard-plug-keyboard/group-properties
Merge into: lp:~elementary-pantheon/switchboard-plug-keyboard/trunk
Diff against target: 153 lines (+45/-47)
1 file modified
src/Views/Behavior.vala (+45/-47)
To merge this branch: bzr merge lp:~elementary-pantheon/switchboard-plug-keyboard/group-properties
Reviewer Review Type Date Requested Status
elementary Pantheon team Pending
Review via email: mp+317279@code.launchpad.net

Commit message

Behavior.vala
* decrease scope of settings_repeat and settings_blink
* move doubled variables to top
* place widget properties next to their declarations
* Fix spacing
* remove unnecessary comments

To post a comment you must log in.

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'src/Views/Behavior.vala'
2--- src/Views/Behavior.vala 2017-02-12 04:29:42 +0000
3+++ src/Views/Behavior.vala 2017-02-15 02:40:55 +0000
4@@ -1,7 +1,4 @@
5 namespace Pantheon.Keyboard.Behaviour {
6- Behaviour.SettingsRepeat settings_repeat;
7- Behaviour.SettingsBlink settings_blink;
8-
9 class Page : Pantheon.Keyboard.AbstractPage {
10 Settings gsettings_blink;
11 Settings gsettings_repeat;
12@@ -19,46 +16,49 @@
13 }
14
15 public Page () {
16- settings_repeat = new Behaviour.SettingsRepeat ();
17- settings_blink = new Behaviour.SettingsBlink ();
18+ var settings_repeat = new Behaviour.SettingsRepeat ();
19+ var settings_blink = new Behaviour.SettingsBlink ();
20+
21+ var double_delay = (double) settings_repeat.delay;
22+ var double_speed = (double) settings_repeat.repeat_interval;
23+ var double_blink_speed = (double) settings_blink.cursor_blink_time;
24+ var double_blink_time = (double) settings_blink.cursor_blink_timeout;
25
26 var label_repeat = new Gtk.Label (_("Repeat Keys:"));
27+ label_repeat.halign = Gtk.Align.END;
28 label_repeat.get_style_context ().add_class ("h4");
29
30 var label_repeat_delay = new Gtk.Label (_("Delay:"));
31+ label_repeat_delay.halign = Gtk.Align.END;
32+
33 var label_repeat_speed = new Gtk.Label (_("Interval:"));
34+ label_repeat_speed.halign = Gtk.Align.END;
35+
36 var label_repeat_ms1 = new Gtk.Label (_("milliseconds"));
37+ label_repeat_ms1.halign = Gtk.Align.START;
38+
39 var label_repeat_ms2 = new Gtk.Label (_("milliseconds"));
40+ label_repeat_ms2.halign = Gtk.Align.START;
41
42 var switch_repeat = new Gtk.Switch ();
43 switch_repeat.halign = Gtk.Align.START;
44 switch_repeat.valign = Gtk.Align.CENTER;
45
46 var scale_repeat_delay = new Gtk.Scale.with_range (Gtk.Orientation.HORIZONTAL, 10, 1000, 1);
47+ scale_repeat_delay.draw_value = false;
48+ scale_repeat_delay.hexpand = true;
49+ scale_repeat_delay.set_value (double_delay);
50+
51 var scale_repeat_speed = new Gtk.Scale.with_range (Gtk.Orientation.HORIZONTAL, 10, 100, 1);
52+ scale_repeat_speed.draw_value = false;
53+ scale_repeat_speed.hexpand = true;
54+ scale_repeat_speed.set_value (double_speed);
55+
56 var spin_repeat_delay = new Gtk.SpinButton.with_range (10, 1000, 1);
57+ spin_repeat_delay.set_value (double_delay);
58+
59 var spin_repeat_speed = new Gtk.SpinButton.with_range (10, 100, 1);
60-
61- label_repeat.halign = Gtk.Align.END;
62- label_repeat_delay.halign = Gtk.Align.END;
63- label_repeat_speed.halign = Gtk.Align.END;
64- label_repeat_ms1.halign = Gtk.Align.START;
65- label_repeat_ms2.halign = Gtk.Align.START;
66-
67- // tweak other widgets
68- scale_repeat_delay.hexpand = true;
69- scale_repeat_speed.hexpand = true;
70- scale_repeat_delay.draw_value = false;
71- scale_repeat_speed.draw_value = false;
72-
73- // set values from settigns
74- var double_delay = (double) settings_repeat.delay;
75- var double_speed = (double) settings_repeat.repeat_interval;
76-
77- scale_repeat_delay.set_value (double_delay);
78- scale_repeat_speed.set_value (double_speed);
79- spin_repeat_delay.set_value (double_delay);
80- spin_repeat_speed.set_value (double_speed);
81+ spin_repeat_speed.set_value (double_speed);
82
83 // connect signals
84 scale_repeat_delay.value_changed.connect (() => {
85@@ -87,12 +87,20 @@
86
87 var label_blink = new Gtk.Label (_("Cursor Blinking:"));
88 label_blink.get_style_context ().add_class ("h4");
89+ label_blink.halign = Gtk.Align.END;
90 label_blink.margin_top = 24;
91
92 var label_blink_speed = new Gtk.Label (_("Speed:"));
93+ label_blink_speed.halign = Gtk.Align.END;
94+
95 var label_blink_time = new Gtk.Label (_("Duration:"));
96+ label_blink_time.halign = Gtk.Align.END;
97+
98 var label_blink_ms = new Gtk.Label (_("milliseconds"));
99+ label_blink_ms.halign = Gtk.Align.START;
100+
101 var label_blink_s = new Gtk.Label (_("seconds"));
102+ label_blink_s.halign = Gtk.Align.START;
103
104 var switch_blink = new Gtk.Switch ();
105 switch_blink.halign = Gtk.Align.START;
106@@ -100,21 +108,20 @@
107 switch_blink.margin_top = 24;
108
109 var scale_blink_speed = new Gtk.Scale.with_range (Gtk.Orientation.HORIZONTAL, 100, 2500, 10);
110+ scale_blink_speed.draw_value = false;
111+ scale_blink_speed.hexpand = true;
112+ scale_blink_speed.set_value (double_blink_speed);
113+
114 var scale_blink_time = new Gtk.Scale.with_range (Gtk.Orientation.HORIZONTAL, 1, 100, 1);
115+ scale_blink_time.draw_value = false;
116+ scale_blink_time.hexpand = true;
117+ scale_blink_time.set_value (double_blink_time);
118+
119 var spin_blink_speed = new Gtk.SpinButton.with_range (100, 2500, 10);
120+ spin_blink_speed.set_value (double_blink_speed);
121+
122 var spin_blink_time = new Gtk.SpinButton.with_range (1, 100, 1);
123-
124- label_blink.halign = Gtk.Align.END;
125- label_blink_time.halign = Gtk.Align.END;
126- label_blink_speed.halign = Gtk.Align.END;
127- label_blink_ms.halign = Gtk.Align.START;
128- label_blink_s.halign = Gtk.Align.START;
129-
130- // tweak other widgets
131- scale_blink_speed.hexpand = true;
132- scale_blink_time.hexpand = true;
133- scale_blink_speed.draw_value = false;
134- scale_blink_time.draw_value = false;
135+ spin_blink_time.set_value (double_blink_time);
136
137 var entry_test = new Gtk.Entry ();
138 entry_test.margin_top = 24;
139@@ -143,15 +150,6 @@
140 attach (label_blink_s, 3, 5, 1, 1);
141 attach (entry_test, 1, 6, 1, 1);
142
143- // set values from settings
144- var double_blink_speed = (double) settings_blink.cursor_blink_time;
145- var double_blink_time = (double) settings_blink.cursor_blink_timeout;
146-
147- scale_blink_speed.set_value (double_blink_speed);
148- scale_blink_time.set_value (double_blink_time);
149- spin_blink_speed.set_value (double_blink_speed);
150- spin_blink_time.set_value (double_blink_time);
151-
152 gsettings_blink = new Settings ("org.gnome.desktop.interface");
153 gsettings_blink.bind ("cursor-blink", switch_blink, "active", SettingsBindFlags.DEFAULT);
154

Subscribers

People subscribed via source and target branches