Eugene Pankov
|
c180f3faff
|
fixed cli option parsing (fixes #1076, fixes #1031)
|
2019-06-20 11:56:59 +02:00 |
|
Eugene Pankov
|
1da7c85973
|
cli option to launch a specific profile
|
2018-12-16 23:13:14 +01:00 |
|
Eugene Pankov
|
702d29b5b4
|
added --hidden startup option (fixes #488)
|
2018-11-11 13:24:27 +01:00 |
|
Eugene Pankov
|
0d37f4736a
|
build fix
|
2018-09-23 17:09:11 +02:00 |
|
Eugene Pankov
|
e71d404c2b
|
added CLI option to paste text into terminal
|
2018-09-23 16:33:57 +02:00 |
|
Eugene Pankov
|
4b7b692ace
|
experimental support for multiple windows (fixes #212, fixes #170)
|
2018-08-31 15:41:28 +02:00 |
|