Timeline
Parents and children of check-in [ae1d856e69]
|
2015-05-06
| ||
| 00:07 | Fix some print and log statements. check-in: d0a9fca2bd user: mario tags: trunk | |
| 00:07 | Use Gtk3/gdk.Color.parse() as fallback to .get_colormap(), get rid of style copying (was only necessary with the previous theming support IIRC). check-in: ae1d856e69 user: mario tags: trunk | |
| 00:05 | Inline copy&paste HTML entity definitions, because they seemingly were also sacrificed at the Python 3 altar. check-in: 6cb923861a user: mario tags: trunk | |