brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

shell-extension-tool: Fix typo

Browse Source 
Spotted by Amr Ibrahim.
This commit is contained in:
Florian Müllner 2019-08-27 11:55:54 +03:00
parent c2f5331187
commit c6580421b3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/gnome-shell-extension-tool.in
View File

@ -20,7 +20,7 @@ def disable_extension(uuid):
extension_command(["disable", uuid]) extension_command(["disable", uuid])
def reload_extension(uuid): def reload_extension(uuid):
print("Reloading extensions does not wokr correctly and is no longer supported", print("Reloading extensions does not work correctly and is no longer supported",
file=sys.stderr) file=sys.stderr)
def main(): def main():