github PR#220: WM_DELETE_WINDOW support for hypertex
4 views
Skip to first unread message
Qian Yun
Jul 31, 2026, 12:26:36 AM (5 days ago) Jul 31
to fricas-devel
https://github.com/fricas/fricas/pull/220
I just tried it out, the error message "X connection to :0
broken (explicit kill or server shutdown)." is gone when
closing hyperdoc window with "x" button in title bar instead of
the "Exit" button in hyperdoc.
Shall we include it?
- Qian
I just tried it out, the error message "X connection to :0
broken (explicit kill or server shutdown)." is gone when
closing hyperdoc window with "x" button in title bar instead of
the "Exit" button in hyperdoc.
Shall we include it?
- Qian
Waldek Hebisch
Jul 31, 2026, 8:18:23 AM (5 days ago) Jul 31
to fricas...@googlegroups.com
--
Waldek Hebisch
Reply all
Reply to author
Forward
0 new messages