mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-06 15:10:27 +09:00
16 lines
537 B
Desktop File
16 lines
537 B
Desktop File
[Desktop Entry]
|
|
|
|
Name=Micro
|
|
GenericName=Text Editor
|
|
Comment=Edit text files in a terminal
|
|
|
|
Icon=micro
|
|
Type=Application
|
|
Categories=Utility;TextEditor;Development;
|
|
Keywords=text;editor;syntax;terminal;
|
|
|
|
Exec=micro %F
|
|
StartupNotify=false
|
|
Terminal=true
|
|
MimeType=text/plain;text/x-chdr;text/x-csrc;text/x-c++hdr;text/x-c++src;text/x-java;text/x-dsrc;text/x-pascal;text/x-perl;text/x-python;application/x-php;application/x-httpd-php3;application/x-httpd-php4;application/x-httpd-php5;application/xml;text/html;text/css;text/x-sql;text/x-diff;
|