[PATCH] Add terminal settings to the preferences dialog

From: Fabien Parent <parent f gmail com>
To: The mailing list of the Nemiver project <nemiver-list gnome org>
Subject: [PATCH] Add terminal settings to the preferences dialog
Date: Thu, 6 Oct 2011 15:46:31 +0200

Hello

The patch attached to this e-mail let you change different settings of
the terminal via the preferences dialog. I copied the UI of the Color
page of the gnome-terminal preferences dialog with small adjustments.

Fabien

Attachment: 0001-Add-terminal-settings-to-the-preferences-dialog.patch
Description: Binary data

Follow-Ups:
- Re: [PATCH] Add terminal settings to the preferences dialog
  - From: Dodji Seketeli

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]