diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-06-04 14:08:48 +0200 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-06-04 14:08:48 +0200 |
| commit | 631d57ac88a927c31435bc654f4d9bc68555e390 (patch) | |
| tree | ec84b57090731b59a690ef814e07a6c69396d4d5 /doc/html_custom.xsl | |
| parent | 71b279783975e3542e172e23b37583583cb2482b (diff) | |
| download | experiment-player-631d57ac88a927c31435bc654f4d9bc68555e390.tar.gz | |
only save transcript widget font and colors if they have been changed (via keyfile or dialogs)
* so if they haven't been changed, the widget defaults are active (may depend on gtk theme and RC files)
* currently it is not possible reset changed fonts/colors to the widget defaults (via the UI, the keyfile may be edited manually)
Diffstat (limited to 'doc/html_custom.xsl')
0 files changed, 0 insertions, 0 deletions