mirror of
https://github.com/elementary/gala.git
synced 2024-11-24 12:23:58 +03:00
Don
This commit is contained in:
parent
d6518243cd
commit
32f321bc24
@ -120,7 +120,7 @@ namespace Gala
|
||||
Settings.get_default ().notify["enable-manager-corner"].connect (update_input_area);
|
||||
}
|
||||
|
||||
void update_input_area ()
|
||||
public void update_input_area ()
|
||||
{
|
||||
if (Settings.get_default ().enable_manager_corner)
|
||||
set_input_area (InputArea.HOT_CORNER);
|
||||
|
@ -350,7 +350,7 @@ namespace Gala
|
||||
plugin.get_screen ().get_size (out width, out height);
|
||||
|
||||
plugin.end_modal ();
|
||||
plugin.set_input_area (Gala.InputArea.HOT_CORNER);
|
||||
plugin.update_input_area ();
|
||||
|
||||
animate (Clutter.AnimationMode.EASE_IN_SINE, 400, y : height)
|
||||
.completed.connect ( () => {
|
||||
|
Loading…
Reference in New Issue
Block a user