Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Better editor #11

Open
mmkathurima opened this issue Jul 29, 2023 · 5 comments
Open

Better editor #11

mmkathurima opened this issue Jul 29, 2023 · 5 comments

Comments

@mmkathurima
Copy link
Contributor

mmkathurima commented Jul 29, 2023

I understand you are making the editor from scratch.
Suggestions to enhance it:

  • Brace matching
  • Syntax highlighting for methods
  • Clicking on line margins highlights entire line
  • documentation on hover
  • type information on hovering variables e.g. popup showing x is an int and is defined in foo() and/or defined in class/interface/abstract class/annotation etc Bar.
  • parameter information eg derived from javadocs including their types
  • tab with autocomplete popup should complete the suggestion rather than indent line of code
  • Persistent custom font sizes i.e. when the application is closed and opened later, the custom font size is preserved

And many more I have not thought of yet

@reportmill
Copy link
Owner

These are all great suggestions - and most should be easy (less than a day). I'll be working on this list.

@mmkathurima
Copy link
Contributor Author

@reportmill Another note - also look into a more user friendly way to (re)open a file in a project and making use of context menus in the project sidebar. The dropdown button's context menu items require more testing too :-)

@mmkathurima
Copy link
Contributor Author

mmkathurima commented Aug 1, 2023

@reportmill Additionally, consider drag-and-drop of text within and out of the editor

@mmkathurima
Copy link
Contributor Author

Another suggestion is to map ctrl + Y to redo alongside ctrl + shift + z.

@reportmill
Copy link
Owner

Is Ctrl-Y the standard on Linux? I went ahead and added it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants