leyoda/pop-launcher
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

docs(toolkit): add a plugin example

Browse source
This commit is contained in:
Paul Delafosse 2022-05-18 11:27:24 +02:00 • committed by Michael Murphy
parent 8293392969
commit 3f8253ad76
4 changed files with 155 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

12
toolkit/examples/plugin.ron Normal file
View file

@ -0,0 +1,12 @@
(
name: "Find man pages",
description: "Syntax: { whatis }\nExample: whatis git",
query: (
regex: "^(whatis ).+",
help: "whatis",
isolate: true,
no_sort: true,
),
bin: (path: "man-pages-plugin"),
icon: Name("org.gnome.Documents-symbolic"),
)