Bug 58680 - Не выводится документация при нажатии соответствующих кнопок
Summary: Не выводится документация при нажатии соответствующих кнопок
Status: CLOSED FIXED
Alias: None
Product: Sisyphus
Classification: Development
Component: coq-coqide (show other bugs)
Version: unstable
Hardware: x86_64 Linux
: P5 normal
Assignee: Leonid Znamenok
QA Contact: qa-sisyphus
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2026-04-10 18:58 MSK by Mikhail D Hoteev
Modified: 2026-04-13 23:31 MSK (History)
2 users (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Mikhail D Hoteev 2026-04-10 18:58:55 MSK 
Версия пакета:
coq-coqide-8.20.1-alt1.x86_64

Тестировалось на стендах (обновленных до Sisyphus):
Alt Education 11.1 KDE/XFCE
Alt KWorkstation 11.2
Alt Workstation 11.1

Описание:
При нажатии кнопок Help -> Browse Coq Manual и Help -> Browse Coq Library не происходит никакой реакции. То же самое происходит и при нажатии выделенных сочетаний клавиш.

Шаги воспроизведения:
1) Запустить CoqIDE:
$ coqide
Или через меню приложений:
Разработка -> CoqIDE
2) В открывшемся окне открыть дроп-меню Help и нажать кнопки Browse Coq Manual или Browse Coq Library (или комбинации клавиш Ctrl + F1, Ctrl+Shift+F1)

Реальный результат: ничего не происходит

Ожидаемый результат: открывается справка по программе.
Comment 1 Repository Robot 2026-04-13 23:31:58 MSK 
rocq-9.2.0-alt1 -> sisyphus:

* Fri Apr 10 2026 Leonid Znamenok <respublica@altlinux> 9.2.0-alt1
- New Version 9.2.0.
- Renamed coq -> rocq.
- (Closes: 58676, 58680).