Skip to content

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

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

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

linux

succeeded Feb 23, 2025 in 2m 6s