| Summary: | Text color on exported eps templates | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Rasmus Jacobsen <rasseren> |
| Component: | GUI | Assignee: | Marius Mikučionis <marius> |
| Status: | ASSIGNED --- | ||
| Severity: | minor | CC: | marius |
| Priority: | P2 | ||
| Version: | 4.0.5 | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| Architecture: | |||
|
Description
Rasmus Jacobsen
2007-04-02 15:07:11 CEST
Agreed. This is already fixed in 4.1, but by completely replacing the EPS generation. I will leave the bug open until 4.2 is out, but I do not expect this bug to be fixed in 4.0. I add Marius as cc (Marius, if you have time, a fix for 4.0 would be welcomed). I've made a simple fix for PS export to match the default colors (committed on 4.0 branch). It requires deeper (PS code) restructuring if we want the very same colors as exactly on the screen (i.e. the code is does not reflect any user-set location color, or user-modified color scheme). I am not quite motivated to go further as it needs more than a simple fix (as we try to keep things stable on branch 4.0) and at the end it's going to be replaced anyway starting with 4.1 (4.2 for public). taking over |