History | Log In     View a printable version of the current page.  
Issue Details (XML | Word | Printable)

Key: IDEADEV-7134
Type: Bug Bug
Status: Resolved Resolved
Resolution: Fixed
Priority: Critical Critical
Assignee: Alexey Kudravtsev
Reporter: Nikolay Chashnikov
Votes: 0
Watchers: 0
Operations

If you were logged in you would be able to see more operations.
IDEA: Development

Cannot edit name of native JavaScript method

Created: 14 Jul 06 09:18   Updated: 14 Jul 06 16:52
Component/s: GWT Support
Fix Version/s: Demetra 5557

Original Estimate: Unknown Remaining Estimate: Unknown Time Spent: Unknown

Build: 5,386
Fixed in build: 5,387
Severity: Extreme


 Description  « Hide
Create a native JavaScript method

    public static native void alert() /*-{
      $wnd.alert("AAA");
    }-*/;

and try to change its name. IDEA will insert strange code in the comment:

    public static native void alert1() /*-{function alert1 ( /*window*/$wnd,/*Document*/$doc) {
      $wnd.alert("AAA");
    }-*/;


 All   Comments   Work Log   Change History      Sort Order:
There are no comments yet on this issue.