GramEditor/gram

Fork 88

Code Issues 41 Pull requests 4 Releases 11 Packages 2 Wiki Activity Actions 2

Add an option to hide the unsaved indicator #266

Merged

krig merged 1 commit from bux/gram:feat/unsaved-indicator-toggle into main

2026年05月07日 23:09:48 +02:00

Conversation 0 Commits 1 Files changed 5 +15 -1

bux commented

2026年05月05日 19:45:35 +02:00

Contributor

Copy link

VSCode has a feature that hides the unsaved indicator when auto-save is enabled. It's great for minimizing distractions for people who just need auto-save without the distraction.

VSCode has a feature that hides the `unsaved indicator` when auto-save is enabled. It's great for minimizing distractions for people who just need auto-save without the distraction.

bux force-pushed feat/unsaved-indicator-toggle from d753597fae to 193a41f548

2026年05月05日 20:28:08 +02:00

Compare

krig merged commit d5925f1a99 into main

2026年05月07日 23:09:48 +02:00

krig referenced this pull request from a commit

2026年05月07日 23:09:48 +02:00

Merge pull request 'Add an option to hide the unsaved indicator' (#266) from bux/gram:feat/unsaved-indicator-toggle into main

Reviewers

No reviewers

Labels

Clear labels

bug

Something is not working

contribution needed

Help needed to resolve this one

contribution welcome

Contributions are very welcome, get started here

duplicate

This issue or pull request already exists

extensions

Issues related to extensions or Wasm

feature-request

This is more of a feature request or suggestion that a bug.

Something is wrong

This is an issue or feature that could potentially be ported from Zed

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

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

GramEditor/gram!266

No description provided.

Delete branch "bux/gram:feat/unsaved-indicator-toggle"

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?