Skip to content

Add Customizable Shortcuts for the Proof Characters #48

New issue
New issue
Open
Open
Add Customizable Shortcuts for the Proof Characters#48
Labels
UI remakeA part of the UI could use a remakeenhancementNew feature or request
@Girjoaba

Description

@Girjoaba
Girjoaba
opened on Aug 3, 2023

Currently

The special characters shortcuts are hardcoded in the KeyStrokeDispatcher.class.

The information is also hardcoded in the UserManual.class.

TODO

  1. Implement a way for the user to customize his own shortcuts.
  2. Extract all this information into one single place and the User Manual should display the text by using the information from this place.

Metadata

Metadata

Assignees

No one assigned

    Labels

    UI remakeA part of the UI could use a remakeenhancementNew feature or request

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions