Skip to content

v1.5.1
Compare
Choose a tag to compare
@josefaidt josefaidt released this 05 Sep 16:23
v1.5.1
4c99e44
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Added

  • editor: Windows/Linux menubar, full color

Changed

  • editor: titlebar now extends to Windows/Linux, polished colors to fit palette
  • editor: terminal.ansiBrightBlack & black brightened a bit for readability
  • editor: editorSuggestWidget.selectedBackground changed to match new hover background

Fixed

  • syntax: numbers were green instead of yellow after a brief attempt to fix some punctuation coloring issues
Assets 2
Loading