However, it doesn’t let you customize what would b...

# tornadofx

[Kevin]

However, it doesn’t let you customize what would be in the bold java menu. Mac apps typically have “Preferences” in the bold, app name menu