software PAC manager

Patches for PAC Manager


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.
Screenshot of PAC Manager settings showing the new controls for terminal colors