Vishesh Handa a49876e3ee Remove the title editor if it cannot be stored ...

It just makes it confusing for the user otherwise.

2020-02-19 23:00:52 +01:00

..

checklist_editor.dart

Remove the title editor if it cannot be stored

2020-02-19 23:00:52 +01:00

common.dart

Editor: Add 'Discard Changes' button

2020-01-31 15:55:25 +01:00

markdown_editor.dart

Remove the title editor if it cannot be stored

2020-02-19 23:00:52 +01:00

raw_editor.dart

RawEditor: Give focus when using it for a new note

2020-02-18 16:31:34 +01:00