Skip to content

src/gui/definition/definitionwidget: add shortcuts to jump definitions #396

src/gui/definition/definitionwidget: add shortcuts to jump definitions

src/gui/definition/definitionwidget: add shortcuts to jump definitions #396

Annotations

3 warnings

macos

succeeded Feb 23, 2025 in 5m 9s