3 Commits

Author	SHA1	Message	Date
codesoap	feebad14b0	Set the REPL window title using xdotool ... As mentioned in issue #2973, the -t argument for setting the terminal title was not very portable.	2019-06-18 09:58:32 +02:00
Justin Frank	aa6d19bee6	Added modules to extra files	2019-04-08 17:05:55 -07:00
Alex Leferry 2	7d400dce7f	Add windowing/repl category	2019-03-21 12:09:39 +01:00