Friday, June 12, 2009

JEdit related information

jEdit is a mature programmer's text editor. It is not my favorite but it is interesting.

Key configurations I do in JEdit:
- Remove the .(dot) in the text area, do Utilities | Global Options... | Text Area and unset End of line markers.

No comments:

Zig basic Windows application using win32 API

Zig basic Windows application using win32 API Info : OS: Windows 10 IoT LTSC 2021 Zig: 0.15.2 Sample application using zigwin32, Window...