mirror of
https://github.com/morgan9e/dash-to-panel
synced 2026-04-14 00:04:17 +09:00
11
prefs.js
11
prefs.js
@@ -2464,7 +2464,16 @@ function fillPreferencesWindow(window) {
|
||||
let preferences = new Preferences();
|
||||
let box = new Gtk.Box({orientation: Gtk.Orientation.VERTICAL});
|
||||
|
||||
imports.gi.Adw && box.append(new imports.gi.Adw.HeaderBar);
|
||||
if (imports.gi.Adw) {
|
||||
// dummy page to prevent 'Extension did not provide any UI'
|
||||
// error until we migrate to Adw
|
||||
let dummyPage = new imports.gi.Adw.PreferencesPage()
|
||||
|
||||
box.append(new imports.gi.Adw.HeaderBar);
|
||||
window.add(dummyPage);
|
||||
window.visible_page = dummyPage
|
||||
}
|
||||
|
||||
box.append(preferences.notebook);
|
||||
window.set_content(box);
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user