@@ -224,7 +224,8 @@ public class Display.DisplayWidget : Gtk.Box {
224224 return virtual_monitor. id == sibling. virtual_monitor. id;
225225 }
226226
227- private void on_resolution_selected (Display . ResolutionDropDown . ResolutionOption selected_option, Gtk . Popover popover) {
227+ private void on_resolution_selected (Display . ResolutionDropDown . ResolutionOption selected_option,
228+ Gtk . Popover popover) {
228229 // Prevent breaking autohide by closing popover
229230 popover. popdown ();
230231
@@ -234,7 +235,7 @@ public class Display.DisplayWidget : Gtk.Box {
234235 selected_option. width,
235236 selected_option. height
236237 );
237-
238+
238239 var new_mode = virtual_monitor. get_modes_for_resolution (selected_option. width, selected_option. height);
239240 if (new_mode == null ) {
240241 return ;
@@ -248,7 +249,9 @@ public class Display.DisplayWidget : Gtk.Box {
248249 check_position ();
249250 }
250251
251- private void on_rotation_selected (Display . RotationDropDown . RotationOption selected_option, Gtk . Popover popover, Gtk . Label label) {
252+ private void on_rotation_selected (Display . RotationDropDown . RotationOption selected_option,
253+ Gtk . Popover popover,
254+ Gtk . Label label) {
252255 // Prevent breaking autohide by closing popover
253256 popover. popdown ();
254257
@@ -305,10 +308,11 @@ public class Display.DisplayWidget : Gtk.Box {
305308 check_position ();
306309 }
307310
308- private void on_refresh_rate_selected (Display . RefreshRateDropDown . RefreshRateOption selected_option, Gtk . Popover popover) {
311+ private void on_refresh_rate_selected (Display . RefreshRateDropDown . RefreshRateOption selected_option,
312+ Gtk . Popover popover) {
309313 // Prevent breaking autohide by closing popover
310314 popover. popdown ();
311-
315+
312316 virtual_monitor. set_current_mode (selected_option. mode);
313317 rotation_drop_down. set_selected_rotation (0 );
314318 configuration_changed ();
0 commit comments