+
+
+
+ }
+ public void show () {
+ this.el.set_deletable(true);
+ this.el.set_gravity(Gdk.Gravity.NORTH);
+ this.el.move((Gdk.Screen.width() / 2 ) - (int.max(1280,Gdk.Screen.width()) / 2) ,0);
+ this.el.set_keep_above(true);
+ this.el.set_default_size(
+ int.max(1280,Gdk.Screen.width()),
+ int.max(500,Gdk.Screen.height() - 100)
+ );