*** pixmaps/denemo.desktop~	2017-03-20 18:06:27.213315139 +0100
--- pixmaps/denemo.desktop	2017-04-27 13:16:47.693672338 +0200
***************
*** 4,10 ****
  StartupNotify=true
  Terminal=false
  Type=Application
! Categories=GNOME;Audio;AudioVideo;Music;Education
  MimeType=audio/midi;application/denemo;
  
  Name=GNU Denemo
--- 4,10 ----
  StartupNotify=true
  Terminal=false
  Type=Application
! Categories=GNOME;Audio;AudioVideo;Music;Education;
  MimeType=audio/midi;application/denemo;
  
  Name=GNU Denemo