Skip to content

Extend the git GUI by a text editor #104

@eugenk

Description

@eugenk

As a follow-up on #57, add an editor for create, show, edit of files. Investigate which editor is the most suitable:

Important features:

  • In-place switching of view-mode and edit-mode
  • (Custom) Syntax highlighting - Maybe even this much customised that markers like (blue+bold + red waved underline) can be placed in the text
  • Inline highlighting of errors/warnings given a line/column range
  • Pop-up display of errors/warnings (when an inline-highlight of an error is hovered/clicked)

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions