Gravity
Gravity is a text editor featuring syntax highlighting for code.
It supports many different languages, and comes with customizable keyboard shortcuts. Mouse is supported.
Features
- Basic and semantic syntax highlighting
 - Support for third-party language definitions
 - Support for extensions
 - Customizable themes
 - Fully customizable keyboard shortcuts
 - Mouse support
 - Encryption and compression support
 - Built-in terminal
 - Can open folders
 - Workspaces (single- or multi-folders)
 - Memorize unsaved files, per workspace