cory/tildefriends
4
5
Fork 1
Code Issues 33 Pull Requests 1 Actions Releases 27 Wiki Activity

Expose some CodeMirror editor settings #9

New Issue
Open
opened 2024-02-20 09:16:12 -05:00 by cory · 2 comments
cory commented 2024-02-20 09:16:12 -05:00
Owner
Copy Link

Requested so far:

  • visible whitespace
  • light/dark theme
Requested so far: * visible whitespace * light/dark theme
tasiaiso commented 2024-02-20 13:34:37 -05:00
Contributor
Copy Link

#10 or settings in the editor itself ?

#10 or settings in the editor itself ?
cory commented 2024-02-20 14:20:04 -05:00
Author
Owner
Copy Link

I'd be inclined to do something easy in the editor itself for now, but I wouldn't complain if it went either way.

I'd be inclined to do something easy in the editor itself for now, but I wouldn't complain if it went either way.
cory added this to the OK Developer Experience milestone 2024-03-13 19:25:43 -04:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
No items
No Label
Milestone
Clear milestone
No items
No Milestone
OK Developer Experience
Assignees
Clear assignees
No Assignees
2 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: cory/tildefriends#9
No description provided.
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?