Patches for PAC Manager

TerminalColors.patch

This patch allows you to change the colors used in the terminal GUI control in a similar fashion than in gnome-terminal. The settings are stored using the standard settings mechanism in PAC Manager. Changes immediately take effekt in all terminal tabs currently open. The GUI controls used are standard GTK+ color choosers, so you can also drag and drop colors on them.