search

tsantalis / RefactoringMiner

MIT License
358 stars 137 forks source link

ASTDiff GUI #728

Closed pouryafard75 closed 4 months ago

tsantalis commented 4 months ago

@pouryafard75 Alt+W pops a small dialog in Firefox (top-right corner) as shown in the screenshot, if the cursor is inside the editor.

If the cursor is not inside the editor, then nothing happens. I was not able to use the word-wrap toggle feature.

Screenshot from 2024-05-29 03-39-57

pouryafard75 commented 4 months ago

@tsantalis Okay, Please let me know what hotkey is suitable and I update it accordingly.

pouryafard75 commented 4 months ago

@tsantalis I actually confirmed with firefox, please click somewhere outside of the editor. (the white space on the top of the page)

tsantalis commented 4 months ago

Does Alt+w work for you? I had the same behavior in both Firefox and Chrome. I would avoid shortcut completely and just put a toggle button (or checkbox)

pouryafard75 commented 4 months ago

It works in both browser on my end.

tsantalis commented 4 months ago

Alt+w does not work even if I click somewhere outside the editor.

pouryafard75 commented 4 months ago

@tsantalis Seems like its a bit different in windows. PR has been submitted. I confirmed with windows (both chrome and firefox), mac (both chrome and firefox).