From cf20436f3e559474b8c7e82681a27e16ac813f38 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tomasz=20Pawe=C5=82=20Gajc?= Date: Tue, 18 Nov 2008 17:47:34 +0000 Subject: - reduce font size to 12 for terminal --- common/Terminal/terminalrc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'common/Terminal/terminalrc') diff --git a/common/Terminal/terminalrc b/common/Terminal/terminalrc index b3eabf8..ecfcf4f 100644 --- a/common/Terminal/terminalrc +++ b/common/Terminal/terminalrc @@ -2,5 +2,5 @@ BindingBackspace=TERMINAL_ERASE_BINDING_ASCII_DELETE BindingDelete=TERMINAL_ERASE_BINDING_DELETE_SEQUENCE ShortcutsNoMenukey=TRUE -FontName=Monospace 14 +FontName=Monospace 12 ScrollingOnOutput=FALSE -- cgit v1.2.1