Skip to content

Conversation

@0xdeafcafe
Copy link
Member

  • Editor font size
  • Overriding of editor theme

Fixes #62

Screenshot 2022-08-17 at 20 20 12

@0xdeafcafe 0xdeafcafe added the enhancement New feature or request label Aug 17, 2022
@github-actions github-actions bot temporarily deployed to production August 17, 2022 18:29 Inactive
@0xdeafcafe 0xdeafcafe force-pushed the feature/editor-preferences branch from 0301dc8 to 90c2384 Compare August 18, 2022 08:15
@github-actions github-actions bot temporarily deployed to production August 18, 2022 08:21 Inactive
@0xdeafcafe 0xdeafcafe merged commit 6fbf60e into master Aug 18, 2022
@0xdeafcafe 0xdeafcafe deleted the feature/editor-preferences branch August 18, 2022 08:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

Status: Waiting Release

Development

Successfully merging this pull request may close these issues.

Make the JSON enriched response view configurable

2 participants