6 Commits

Author	SHA1	Message	Date
codesoap	ca2741fe20	Rename ModuleLoad hook to ModuleLoaded ... This clarifies, that the hook is run *after* the module is loaded.	2019-06-25 19:16:47 +02:00
codesoap	df03a8850c	Comment on the escape sequence for setting the terminal's title	2019-06-18 11:52:33 +02:00
codesoap	9d8fb8bc31	Print escape sequence to set the window title ... Using xdotool was probably a little less portable, because it relied on the newly created window to be activated by the window manager.	2019-06-18 11:41:59 +02:00
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