shelley/ui: fix Monaco diff gutter display on mobile for PatchTool
Philip Zeyliger
created
Prompt: In a new worktree reset to origin main and fix the weird formatting in the screenshot on Monaco diffs. Note how the left hitter looks like it's repeating part of the right.
The PatchTool component's Monaco diff editor was missing the CSS rules
to hide the gutter/margin on mobile devices. This caused the left gutter
area to display clipped content (showing partial text like the first
letter of each line).
Added the same mobile CSS rules that were already present for the
DiffViewer component to the PatchTool Monaco editor:
- Hide the margin and margin-view-overlays completely
- Adjust editor-scrollable and lines-content positioning
- Ensure the diff editor uses full width on mobile