summaryrefslogtreecommitdiff
path: root/plugins/externaltools/data/build.desktop.in
diff options
context:
space:
mode:
Diffstat (limited to 'plugins/externaltools/data/build.desktop.in')
-rwxr-xr-xplugins/externaltools/data/build.desktop.in9
1 files changed, 9 insertions, 0 deletions
diff --git a/plugins/externaltools/data/build.desktop.in b/plugins/externaltools/data/build.desktop.in
new file mode 100755
index 00000000..13767ee7
--- /dev/null
+++ b/plugins/externaltools/data/build.desktop.in
@@ -0,0 +1,9 @@
+[Gedit Tool]
+_Name=Build
+_Comment=Run "make" in the document directory
+Input=nothing
+Output=output-panel
+Shortcut=<Control>F8
+Applicability=local
+Save-files=nothing
+Languages=