The Unicode character map allows to insert any Unicode charater handleable by the Java framework into the editor.
Just open it through the program's menu bar entry
"Settings → Unicode character selection...".
The Unicode Charater Map

The character table always features one page of 256 characters at once. In the upper part, you select the page to show. Then, you insert the character by simply pressing on the button for the required character.
No comments:
Post a Comment