[JPP-Devel] [jump-pilot:bugs] #89 label offset should be set according to symbol size

2020-10-13 Thread Giuseppe Aruta via Jump-pilot-devel
- **status**: open --> closed-invalid - **assigned_to**: Giuseppe Aruta --- ** [bugs:#89] label offset should be set according to symbol size** **Status:** closed-invalid **Milestone:** OJ_1.16 **Created:** Fri Jul 13, 2007 08:51 AM UTC by Anonymous **Last Updated:** Tue Oct 13, 2020 11:08 AM

[JPP-Devel] [jump-pilot:bugs] #89 label offset should be set according to symbol size

2020-10-13 Thread Giuseppe Aruta via Jump-pilot-devel
I thgink we can close it. It was more like a feature request than a bug. At that time I was in the need to have a tool like that. Not now. I am goung to save it as Feature request --- ** [bugs:#89] label offset should be set according to symbol size** **Status:** open **Milestone:** OJ_1.16 *

[JPP-Devel] [jump-pilot:bugs] #89 label offset should be set according to symbol size

2020-09-13 Thread ede via Jump-pilot-devel
- **Operating System**: --> not specified - **Milestone**: --> OJ_1.16 - **Comment**: Peppe, what's the state of this? ..ede --- ** [bugs:#89] label offset should be set according to symbol size** **Status:** open **Milestone:** OJ_1.16 **Created:** Fri Jul 13, 2007 08:51 AM UTC by Anonymou