2018-08-26 23:45:34 +02:00
|
|
|
# HG changeset patch
|
|
|
|
# Parent fa7b175db269546b9408d1af03d9c04dddbc4d9b
|
2013-05-29 16:46:55 +02:00
|
|
|
# use system stock icon for XTerm
|
|
|
|
|
2023-10-03 16:04:15 +02:00
|
|
|
Index: xterm-385/xterm.desktop
|
2022-09-28 09:00:54 +02:00
|
|
|
===================================================================
|
2023-10-03 16:04:15 +02:00
|
|
|
--- xterm-385.orig/xterm.desktop
|
|
|
|
+++ xterm-385/xterm.desktop
|
2022-09-28 09:00:54 +02:00
|
|
|
@@ -38,7 +38,7 @@ Exec=xterm
|
2013-05-29 16:46:55 +02:00
|
|
|
Terminal=false
|
|
|
|
Type=Application
|
|
|
|
Encoding=UTF-8
|
|
|
|
-Icon=xterm-color_48x48
|
|
|
|
+Icon=terminal
|
|
|
|
Categories=System;TerminalEmulator;
|
2016-03-14 12:25:23 +01:00
|
|
|
Keywords=shell;prompt;command;commandline;cmd;
|
2022-09-28 09:00:54 +02:00
|
|
|
StartupWMClass=XTerm
|