gnomeExtensions.gsconnect: 26 → 27

https://github.com/andyholmes/gnome-shell-extension-gsconnect/releases/tag/v27
This commit is contained in:
Jan Tojnar 2019-10-10 14:22:36 +02:00
parent 538d9cbdfb
commit 2bd4f8023b
No known key found for this signature in database
GPG key ID: 7FAB2A15F7A607A4
2 changed files with 2 additions and 32 deletions

View file

@ -4,13 +4,13 @@
stdenv.mkDerivation rec {
pname = "gnome-shell-gsconnect";
version = "26";
version = "27";
src = fetchFromGitHub {
owner = "andyholmes";
repo = "gnome-shell-extension-gsconnect";
rev = "v${version}";
sha256 = "01p8b3blsnxi2i89nddkm51wbbw5irwii2qlvlrzfh8hhh37my0a";
sha256 = "0bpg7hl81wir3c15ri8kbvr6xhalpkfmcyazwmmwyj5lxpn40ykk";
};
patches = [
@ -18,7 +18,6 @@ stdenv.mkDerivation rec {
(substituteAll {
src = ./fix-paths.patch;
gapplication = "${glib.bin}/bin/gapplication";
mutter_gsettings_path = glib.getSchemaPath gnome3.mutter;
})
];

View file

@ -29,32 +29,3 @@
const Gio = imports.gi.Gio;
const GLib = imports.gi.GLib;
const Gtk = imports.gi.Gtk;
--- a/src/preferences/service.js
+++ b/src/preferences/service.js
@@ -435,9 +435,9 @@ var Window = GObject.registerClass({
_restoreGeometry() {
if (this._mutterSettings === undefined) {
- this._mutterSettings = new Gio.Settings({
- schema_id: 'org.gnome.mutter'
- });
+ const _schema_source = Gio.SettingsSchemaSource.new_from_directory('@mutter_gsettings_path@', Gio.SettingsSchemaSource.get_default(), true);
+ const _schema = _schema_source.lookup('org.gnome.mutter', false);
+ this._mutterSettings = new Gio.Settings({settings_schema: _schema});
}
// Restore geometry, even if we're going to maximize
--- a/src/service/ui/messaging.js
+++ b/src/service/ui/messaging.js
@@ -891,9 +891,9 @@ var Window = GObject.registerClass({
*/
_restoreGeometry() {
if (this._mutterSettings === undefined) {
- this._mutterSettings = new Gio.Settings({
- schema_id: 'org.gnome.mutter'
- });
+ const _schema_source = Gio.SettingsSchemaSource.new_from_directory('@mutter_gsettings_path@', Gio.SettingsSchemaSource.get_default(), true);
+ const _schema = _schema_source.lookup('org.gnome.mutter', false);
+ this._mutterSettings = new Gio.Settings({settings_schema: _schema});
}