[JPP-Devel] [jump-pilot:bugs] #291 Problem on drop-down menus

- **status**: open --> closed-fixed --- ** [bugs:#291] Problem on drop-down menus** **Status:** closed-fixed **Milestone:** OJ_1.16 **Labels:** General / Other **Created:** Sat Mar 16, 2013 08:20 PM UTC by Giuseppe Aruta **Last Updated:** Tue Oct 13, 2020 11:14 AM UTC **Owner:** nobody I fo

[JPP-Devel] [jump-pilot:bugs] #291 Problem on drop-down menus

I cannot observe this behaviour any more. It seems that it was solved in the time Closed fixed --- ** [bugs:#291] Problem on drop-down menus** **Status:** open **Milestone:** OJ_1.16 **Labels:** General / Other **Created:** Sat Mar 16, 2013 08:20 PM UTC by Giuseppe Aruta **Last Updated:**

[JPP-Devel] [jump-pilot:bugs] #291 Problem on drop-down menus

- **Operating System**: --> Linux/Unix - **Milestone**: --> OJ_1.16 - **Comment**: Peppe, can you check this again please with snapshot and recent openjdk? thx ..ede --- ** [bugs:#291] Problem on drop-down menus** **Status:** open **Milestone:** OJ_1.16 **Labels:** General / Other **Creat