Groups keyboard shortcuts have been updated
Dismiss
See shortcuts

MacOS GUI issues with V8.0.1

15 views
Skip to first unread message

Jan Wielemaker

unread,
Jan 30, 2019, 10:13:45 AM1/30/19
to swi-p...@googlegroups.com
There is an issue reported about the Mac GUI. I can't reproduce most of
it. See https://github.com/SWI-Prolog/issues/issues/83

Cheers --- Jan
Reply all
Reply to author
Forward
0 new messages