Skip to content

Add padding between titlebar/tabs and editor content #8

Add padding between titlebar/tabs and editor content

Add padding between titlebar/tabs and editor content #8

Triggered via push March 8, 2026 12:30
Status Success
Total duration 31s
Artifacts 1

build.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
prose_code
171 KB
sha256:0fba3d22154d8c535245fd2e009f6ace87ab4cf6c7b6a1cdb3b517fdd703710f