From d49e6fe040dee476ae9308733249f6990c4be7e9 Mon Sep 17 00:00:00 2001
From: Ole <eidheim@gmail.com>
Date: Sat, 14 Nov 2015 10:24:06 +0100
Subject: [PATCH] Added .desktop file. Ubuntu menues should work decently now,
 although key-bindings are not updated from within juci (Ubuntu bug).

---
 CMakeLists.txt     | 5 +++++
 share/juci.desktop | 9 +++++++++
 2 files changed, 14 insertions(+)
 create mode 100644 share/juci.desktop

diff --git a/CMakeLists.txt b/CMakeLists.txt
index f80481f..59e1e52 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -8,3 +8,8 @@ set(project_name juci)
 project (${project_name})
 
 add_subdirectory("src")
+
+find_program(XDG_DESKTOP_MENU_EXECUTABLE xdg-desktop-menu)
+if(XDG_DESKTOP_MENU_EXECUTABLE)
+  install(CODE "execute_process(COMMAND ${XDG_DESKTOP_MENU_EXECUTABLE} install --novendor share/juci.desktop)")
+endif()
diff --git a/share/juci.desktop b/share/juci.desktop
new file mode 100644
index 0000000..ccad19d
--- /dev/null
+++ b/share/juci.desktop
@@ -0,0 +1,9 @@
+[Desktop Entry]
+Name=juci
+GenericName=juCi++
+Comment=A lightweight IDE
+Exec=juci %U
+Terminal=false
+Type=Application
+StartupNotify=true
+MimeType=text/plain;