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

windows

succeeded Feb 23, 2025 in 4m 44s