Simon Tatham
e06a3dda45
pterm.exe: run command-line options through cmdline.c.
...
This makes pterm.exe support the same (very small) subset of the
standard option collection that Unix pterm does. Namely, -load (which
won't do anything useful with a hostname to connect to, but is still
useful if you have a saved session containing configuration like
colours or default size or what have you), and also -sessionlog.
To make this work, I've had to move the 'tooltype' definition out of
window.c into {putty,pterm}.c, so that it can be defined differently
in the two.
2022-05-21 10:34:17 +01:00
..
2022-04-02 17:23:34 +01:00
2022-01-03 12:12:05 +00:00
2021-05-24 15:27:38 +01:00
2022-04-02 17:23:34 +01:00
2022-01-22 15:51:31 +00:00
2022-05-21 09:53:03 +01:00
2022-01-22 15:51:31 +00:00
2022-01-22 15:51:31 +00:00
2021-04-26 18:00:01 +01:00
2022-04-02 17:23:34 +01:00
2022-05-08 08:33:53 +01:00
2022-01-22 15:51:31 +00:00
2022-01-22 15:51:31 +00:00
2021-05-27 09:48:32 +01:00
2022-01-22 15:51:31 +00:00
2021-10-18 20:15:35 +01:00
2021-04-26 18:00:01 +01:00
2021-05-03 17:01:55 +01:00
2022-01-22 15:51:31 +00:00
2022-01-22 15:51:31 +00:00
2020-06-21 16:39:47 +01:00
2020-06-21 16:39:47 +01:00
2022-01-22 15:51:31 +00:00
2021-10-30 17:29:24 +01:00
2022-01-22 15:51:33 +00:00
2022-01-22 15:51:31 +00:00
2022-01-22 15:51:31 +00:00
2021-04-26 18:00:01 +01:00
2021-04-22 20:00:46 +01:00
2022-05-04 19:57:47 +01:00
2007-01-07 10:17:12 +00:00
2019-09-08 20:29:21 +01:00
2021-04-26 18:00:01 +01:00
2007-01-07 10:17:12 +00:00
2022-04-02 17:23:34 +01:00
2022-05-18 13:05:17 +01:00
2005-10-04 14:13:28 +00:00
2021-04-26 18:00:01 +01:00
2007-01-07 10:17:12 +00:00
2005-10-04 14:13:28 +00:00
2005-10-04 14:13:28 +00:00
2021-04-26 18:00:01 +01:00
2022-05-21 10:34:17 +01:00
2021-05-08 17:33:25 +01:00
2021-05-08 17:51:27 +01:00
2021-05-08 17:33:25 +01:00
2021-09-16 14:33:59 +01:00
2021-09-16 14:33:59 +01:00
2022-05-21 10:34:17 +01:00
2007-01-07 10:17:12 +00:00
2021-04-02 19:04:19 +01:00
2021-05-08 17:33:25 +01:00
2007-01-07 10:17:12 +00:00
2021-02-23 18:26:50 +00:00
2022-04-02 17:23:34 +01:00
2007-01-07 10:17:12 +00:00
2019-09-08 20:29:21 +01:00
2021-04-26 18:00:01 +01:00
2007-02-06 22:39:15 +00:00
2021-04-02 19:04:19 +01:00
2021-05-08 17:33:25 +01:00
2021-04-17 13:53:02 +01:00
2019-03-18 21:53:45 +00:00
2022-01-22 15:51:31 +00:00
2022-01-22 15:51:31 +00:00
2022-01-22 15:51:31 +00:00
2021-10-30 17:28:28 +01:00
2022-05-18 13:05:17 +01:00
2022-01-03 12:12:05 +00:00
2020-02-16 11:26:21 +00:00
2022-01-22 15:51:31 +00:00
2022-03-12 21:05:07 +00:00
2019-03-18 22:02:13 +00:00
2017-05-07 16:29:01 +01:00
2022-01-22 15:51:31 +00:00
2022-05-21 10:34:17 +01:00
2022-01-22 15:51:31 +00:00