wok view gmrun/description.txt @ rev 21660

updated pari and pari-dev (2.5.3 -> 2.11.2)
author Hans-G?nter Theisgen
date Fri May 31 17:51:21 2019 +0100 (2019-05-31)
parents
children
line source
1 A simple program which provides a "run program" window, featuring a bash-like TAB completion.
2 It uses GTK+ interface. Also, supports CTRL-R / CTRL-S / "!" for searching through history.
3 Running commands in a terminal with CTRL-Enter. URL handlers.