Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Factory:zSystems
gnome-shell-extension-pop-shell
8be10fa999b6631382c4f71826ee78ea9993f459.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 8be10fa999b6631382c4f71826ee78ea9993f459.patch of Package gnome-shell-extension-pop-shell
From 8be10fa999b6631382c4f71826ee78ea9993f459 Mon Sep 17 00:00:00 2001 From: Michael Aaron Murphy <mmstick@pm.me> Date: Tue, 31 Aug 2021 16:29:01 +0200 Subject: [PATCH] fix: TypeScript 4.4 compiler error --- src/settings.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/settings.ts b/src/settings.ts index 1ae463f2..46ecfbdb 100644 --- a/src/settings.ts +++ b/src/settings.ts @@ -20,9 +20,9 @@ interface Settings extends GObject.Object { function settings_new_id(schema_id: string): Settings | null { try { return new Gio.Settings({ schema_id }); - } catch (err) { + } catch (why) { if (schema_id !== "org.gnome.shell.extensions.user-theme") { - global.log(err) + global.log(`failed to get settings for ${schema_id}: ${why}`) } return null
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
