-
Committer:
Stefano Verzegnassi
-
Date:
2016-03-17 14:37:14 UTC
-
Revision ID:
stefano92.100@gmail.com-20160317143714-fqt6t1zwcpuurf0p
Grab background and foreground colors from the terminal widget. Use them for painting the tabs in the panel.
Still WIP: color scheme management required to be cleaned up a bit.