1
#! /bin/sh /usr/share/dpatch/dpatch-run
2
## 04_default_terminal.dpatch by Andrew Lee <andrew@linux.org.tw>
4
## All lines beginning with `## DP:' are a description of the patch.
5
## DP: Support x-terminal-emulator as default terminal
8
diff -urNad pcmanfm-0.5~/src/pref-dialog.c pcmanfm-0.5/src/pref-dialog.c
9
--- pcmanfm-0.5~/src/pref-dialog.c 2008-07-15 07:58:33.000000000 +0800
10
+++ pcmanfm-0.5/src/pref-dialog.c 2008-09-26 10:18:01.000000000 +0800
12
static const int small_icon_sizes[] = { 48, 36, 32, 24, 20, 16, 12 };
13
static const char* terminal_programs[] =
15
+ "x-terminal-emulator",