morgan/dash-to-panel
1
0
Fork 0
mirror of https://github.com/morgan9e/dash-to-panel synced 2026-04-14 00:04:17 +09:00
Code Issues Packages Projects Releases Wiki Activity

export default ExtensionPreferences class

Browse Source
This commit is contained in:
Philipp Unger
2023-08-13 03:06:39 +02:00
parent 33c07bf397
commit 6f5a2e0f19
1 changed files with 12 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
prefs.js
View File

@@ -36,6 +36,8 @@ const N_ = function(e) { return e };
import * as PanelSettings from './panelSettings.js';
import * as Pos from './panelPositions.js';
import {ExtensionPreferences, gettext as _} from 'resource:///org/gnome/Shell/Extensions/js/extensions/prefs.js';
const SCALE_UPDATE_TIMEOUT = 500;
const DEFAULT_PANEL_SIZES = [ 128, 96, 64, 48, 32, 24, 16 ];
const DEFAULT_FONT_SIZES = [ 96, 64, 48, 32, 24, 16, 0 ];
@@ -2328,13 +2330,15 @@ const BuilderScope = GObject.registerClass({
}
});
function init() {
ExtensionUtils.initTranslations();
}
function fillPreferencesWindow(window) {
// use default width or window
window.set_default_size(0, 740);
export default class DashToPanelPreferences extends ExtensionPreferences {
fillPreferencesWindow(window) {
window._settings = this.getSettings();
this.initTranslations();
let preferences = new Preferences(window);
}
// use default width or window
window.set_default_size(0, 740);
let preferences = new Preferences(window);
}
}