terminal options
- From: Junichi Saito <j saito wanadoo fr>
- To: Gnome Mailing List <gnome-list gnome org>
- Subject: terminal options
- Date: Thu, 5 Nov 1998 12:12:58 +0100 (CET)
In the menu editore, there is an option 'Run in Terminal'. How can I pass
to the terminal options such as font ?
The default terminal used seems to be an xterm. Is there a way of changing
this other than by modifying the source ?
junichi
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
