This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 463

Summary: MUI support problem
Product: UPPAAL Reporter: Ryan AnChin <qinan303>
Component: GUIAssignee: Alexandre David <adavid>
Severity: major    
Priority: P2    
Version: 4.0.7   
Hardware: All   
OS: All   

Description Ryan AnChin 2009-03-07 03:43:53 CET
It is so exciting that UPPAAL has muti-language support for, for example, Chinese. But there are several severe problem with MUI interface.
First, a lot sub-menu with shortcut key are error coded in the menu bar. I believe this kinda problem will be showing in not only Chinese version. More over, the very first item in the design tree of editor tab has the same problem, on this way, it only shows "L:".
Second, there "should" have a option somewhere to let the user decide which language to use, or at least somewhere easy to find, cause I didn't find it anywhere. MUI shouldn't only reference to the language of the system.

both problems are happening in Ubuntu/Windows. But in Solaris, the software starts up with English interface.
Comment 1 Alexandre David 2009-03-19 13:53:39 CET
Erroneous characters have been fixed in the menus. The L: problem is gone.
See the FAQ for changing languages. Shortcuts have been kept. If there are still problems, please reopen the bug.