Skip to content
Debug

GUI: Fix editor line focus with wrapped lines. #481

Sign in to view logs

GUI: Fix editor line focus with wrapped lines.

GUI: Fix editor line focus with wrapped lines. #481

Triggered via pull request November 29, 2023 09:58
@jdupakjdupak
synchronize #91
fix-broken-editor-focus-on-line-wrap
Status Skipped
Total duration 4s
Artifacts –

debug.yml

on: pull_request
Build official RISC-V tests
0s
Build official RISC-V tests
Matrix: build-emscripten
Matrix: build
Fit to window
Zoom out
Zoom in