Skip to content

Bugfix/plaintext editing - #129

Merged
juliusknorr merged 11 commits into
masterfrom
bugfix/plaintext-editing
Jul 5, 2019
Merged

juliusknorr merged 11 commits into
masterfrom
bugfix/plaintext-editing

Conversation

@juliusknorr

@juliusknorr juliusknorr commented Jul 1, 2019 •

Copy link
Copy Markdown
Member

Fixes #13

  • Implement plain text editing mode
  • Test cases for plain text conversions
  • Use highlight.js
  • Dynamically load syntax
  • Add map for filename to syntax
  • Make sure Tab inserts a tab character

@juliusknorr juliusknorr added bug Something isn't working feature: formatting Features related to text formatting and node types 2. developing labels Jul 1, 2019
@juliusknorr juliusknorr added this to the 1.0.1 馃摐 milestone Jul 1, 2019
@juliusknorr juliusknorr mentioned this pull request Jul 1, 2019
Signed-off-by: Julius H盲rtl <[email protected]>
@juliusknorr
juliusknorr force-pushed the bugfix/plaintext-editing branch from 2f4926c to 2ffdbe9 Compare July 2, 2019 06:22
Signed-off-by: Julius H盲rtl <[email protected]>
Signed-off-by: Julius H盲rtl <[email protected]>
Signed-off-by: Julius H盲rtl <[email protected]>
Signed-off-by: Julius H盲rtl <[email protected]>
Signed-off-by: Julius H盲rtl <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

3. to review bug Something isn't working feature: formatting Features related to text formatting and node types

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Support plain text files

1 participant