Commit 6a665db5 authored by Javad Rahmatzadeh's avatar Javad Rahmatzadeh
Browse files

fix racy prefs window size

set_size_request is racy and sometimes it doesn't set the size,
so using set_default_size can fix that
parent e9997dbd
......@@ -15,6 +15,7 @@ We go to the next version after each release on [GNOME Shell Extensions website]
- Application button visibility in Ubuntu 22.04.
- Prefs window size for scaled displays.
- Prefs window size for small displays in GNOME Shell 42.
- Racy prefs window size.
- Russian translation by [@librusekus35790](https://gitlab.gnome.org/librusekus35790).
- Spanish translation by [@Luci](https://gitlab.gnome.org/Luci).
......@@ -394,3 +395,4 @@ We go to the next version after each release on [GNOME Shell Extensions website]
- Hide workspace switcher.
- Hot corner to toggle overview visibility.
.
......@@ -68,8 +68,8 @@ var Prefs = class
*
* @member {number}
*/
this._windowWidthAdw = 500;
this._windowHeightAdw = 500;
this._windowWidthAdw = 600;
this._windowHeightAdw = 650;
/**
* holds all profile names
......@@ -236,7 +236,7 @@ var Prefs = class
if (!this._isAdw) {
window.default_width = width;
}
window.set_size_request(width, height);
window.set_default_size(width, height);
if (this._gtkVersion === 3) {
window.resize(width, height);
}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment