Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

host: Add read-only state for code mode editor #1039

Merged
merged 13 commits into from
Feb 20, 2024

Conversation

backspace
Copy link
Contributor

@backspace backspace commented Feb 15, 2024

This updates the Monaco modifier so it can be read-only when you don’t have write permissions for the current file:

screencast 2024-02-16 12-58-57

There‘s some unfortunate CSS hackery to style the Monaco tooltip similarly to the Boxel one, I couldn’t find a better way, sadly.

A way to test this: modify permissions, restart the realm server, log out and back in:

bm3 (Git) 2024-02-16 15-32-13

@backspace backspace added the enhancement New feature or request label Feb 15, 2024
@backspace backspace self-assigned this Feb 15, 2024
Copy link

github-actions bot commented Feb 15, 2024

Test Results

508 tests  +1   504 ✔️ +1   7m 2s ⏱️ +16s
    1 suites ±0       4 💤 ±0 
    1 files   ±0       0 ±0 

Results for commit 6f093d7. ± Comparison against base commit 0fd24ad.

♻️ This comment has been updated with latest results.

@backspace backspace marked this pull request as ready for review February 16, 2024 21:21
@backspace backspace requested a review from a team February 16, 2024 21:21
Copy link
Contributor

@habdelra habdelra left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good. also FYI in my PR #1041 i'm making the base realm read only, so that will be a general way we can check these sorts of things

@backspace backspace merged commit 85fb5da into main Feb 20, 2024
18 checks passed
@delete-merged-branch delete-merged-branch bot deleted the host/read-only-code-mode-cs-6379 branch February 20, 2024 14:44
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
None yet
Development

Successfully merging this pull request may close these issues.

2 participants