Add general settings to React editor

Description

Some of the settings from the GWT editor are appropriate for the new React editor. Some of them should be moved to an advanced settings dialog so they are not so prominent.

  • Editor buttons: do not reimplement.

  • Enter key saves immediately: ???

  • Syntax highlighting: not yet present

  • Show save as approved warning: no longer relevant

  • Navigation options: no longer relevant

  • TM options: not relevant (now a toggle on the panel) - should persist this.

  • Page counts: option should be next to the paging buttons (ZNTA-2085)

  • Display config: do not include in the settings panel (controlled by buttons on the panels now)

Persist some options to local storage:

  • suggestions diff setting

  • which panels are open

is blocked by

relates to

Activity

Show:
Ready for Release

Details

Assignee

Reporter

Tested Version/s

Story Points

Components

Sprint

Priority

More fields

Created 26 April 2017 at 23:59
Updated 27 June 2018 at 02:30
Resolved 4 October 2017 at 00:02

Flag notifications