diff options
author | Brendan Coles <bcoles@gmail.com> | 2021-01-05 14:03:12 +0000 |
---|---|---|
committer | Andreas Kling <kling@serenityos.org> | 2021-01-05 17:12:54 +0100 |
commit | 5c0c4f4b2dc14d9153177314c044176b51d46f55 (patch) | |
tree | 6c2acef5d48b63579bf0273401e2ba1f00472cd2 /Base | |
parent | 7d5a369ac9a563f7e73bee6fde278aa583f1953a (diff) | |
download | serenity-5c0c4f4b2dc14d9153177314c044176b51d46f55.zip |
Playground: Support opening gml file by path as command line argument
Diffstat (limited to 'Base')
-rw-r--r-- | Base/home/anon/.config/LaunchServer.ini | 1 | ||||
-rw-r--r-- | Base/usr/share/man/man1/Playground.md | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/Base/home/anon/.config/LaunchServer.ini b/Base/home/anon/.config/LaunchServer.ini index 2947b9e773..ddafda7c8d 100644 --- a/Base/home/anon/.config/LaunchServer.ini +++ b/Base/home/anon/.config/LaunchServer.ini @@ -12,6 +12,7 @@ wav=/bin/SoundPlayer txt=/bin/TextEditor font=/bin/FontEditor sheets=/bin/Spreadsheet +gml=/bin/Playground *=/bin/TextEditor [Protocol] diff --git a/Base/usr/share/man/man1/Playground.md b/Base/usr/share/man/man1/Playground.md index aedcc8a66c..fb933dfb42 100644 --- a/Base/usr/share/man/man1/Playground.md +++ b/Base/usr/share/man/man1/Playground.md @@ -5,7 +5,7 @@ Playground - GUI Markup Language (GML) editor ## Synopsis ```**sh -$ Playground +$ Playground [file] ``` ## Description @@ -20,7 +20,7 @@ window, allowing rapid prototyping and development of application GUIs. ## Examples ```sh -$ Playground +$ Playground /home/anon/example.gml ``` ## See also |