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