Skip to content
Pull Request Labels

Highlight the header of the topmost Window #1889

Sign in to view logs

Highlight the header of the topmost Window

Highlight the header of the topmost Window #1889

Triggered via pull request January 7, 2024 15:46
@emilkemilk
synchronize #3515
GuillaumeSchmid:gs-win-select
Status Success
Total duration 11s
Artifacts –

labels.yml

on: pull_request
label
3s
label
Fit to window
Zoom out
Zoom in