Merge lp:~artem-anufrij/switchboard-plug-pantheon-shell/Bugfix-1393303 into lp:~elementary-apps/switchboard-plug-pantheon-shell/trunk

Proposed by Artem Anufrij
Status: Merged
Approved by: Cody Garver
Approved revision: 282
Merged at revision: 282
Proposed branch: lp:~artem-anufrij/switchboard-plug-pantheon-shell/Bugfix-1393303
Merge into: lp:~elementary-apps/switchboard-plug-pantheon-shell/trunk
Diff against target: 19 lines (+2/-2)
1 file modified
src/Dock.vala (+2/-2)
To merge this branch: bzr merge lp:~artem-anufrij/switchboard-plug-pantheon-shell/Bugfix-1393303
Reviewer Review Type Date Requested Status
elementary Apps team Pending
Review via email: mp+244356@code.launchpad.net

Commit message

Correct the index of hide_mode_ids which caused the dock settings to be jumbled (lp:1393303)

Description of the change

fixed the index of hide_mode_ids

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/Dock.vala'
2--- src/Dock.vala 2014-11-09 00:25:46 +0000
3+++ src/Dock.vala 2014-12-10 21:28:26 +0000
4@@ -34,7 +34,7 @@
5 hide_mode_labels[1] = _("Hide when focused window overlaps the dock");
6 hide_mode_labels[2] = _("Automatically hide when not being used");
7 hide_mode_labels[3] = _("Never hide");
8- int[] hide_mode_ids = {3, 1, 2, 0};
9+ int[] hide_mode_ids = {0, 1, 2, 3};
10
11 Gtk.RadioButton button = new Gtk.RadioButton(null);
12 for (int i = 0; i < hide_mode_labels.length; i++) {
13@@ -189,4 +189,4 @@
14 monitor.show ();
15 }
16 }
17-}
18\ No newline at end of file
19+}

Subscribers

People subscribed via source and target branches

to all changes: