[antlr-interest] AntlrWorks: CTRL+F10 not working anymore?

[Jean Bovet]

Apparently this shortcut is used to maximize the current window. I  
will have a look at it.

Regards,

Jean

On May 22, 2007, at 12:18 PM, Edson Tirelli wrote:

>
>    I just downloaded antlrWorks 1.0 final. The new MDI interface  
> looks good! On the other side, CTRL+F10 stopped working for me....  
> anyone else having this problem?
>
>    []s
>    Edson
>
>
> -- 
>   Edson Tirelli
>   Software Engineer - JBoss Rules Core Developer
>   Office: +55 11 3529-6000
>   Mobile: +55 11 9287-5646
>   JBoss, a division of Red Hat @ www.jboss.com

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.antlr.org/pipermail/antlr-interest/attachments/20070522/0ae45e99/attachment.html