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 |
|