Lubomir I. Ivanov
a8fbceac17
subsurface-startup: expose print_version() in the header
...
The Windows auto-verbose + log file creation if starting
from a non-terminal has the problem that the print_version()
call is never made becase 'verbose' is updated programatically
in windows.c and not by the user (by passing -v).
To work around the issue:
- move the windows console creation call before *everything* else
- then immediatelly install the message handler
- then see if 'verbose' is set and explicitly call print_version()
print_version() now also has a flag (version_printed), to avoid
printing the version multiple times, if the user decided to add
an extra -v to the Desktop shortcut.
Signed-off-by: Lubomir I. Ivanov <neolit123@gmail.com>
2017-11-16 14:26:14 +01:00
..
2017-11-13 20:48:17 -08:00
2017-11-03 07:49:11 -07:00
2017-11-06 14:05:26 -08:00
2017-10-12 09:43:40 +02:00
2017-06-23 07:55:58 +09:00
2017-04-29 13:32:55 -07:00
2017-10-26 20:44:02 +02:00
2017-10-26 20:44:02 +02:00
2017-10-26 14:37:38 +02:00
2017-07-21 16:33:19 -07:00
2017-05-31 21:53:00 -07:00
2017-05-26 15:52:04 -07:00
2017-05-26 15:52:04 -07:00
2016-04-04 22:33:58 -07:00
2017-09-28 08:51:34 +02:00
2017-04-29 13:32:55 -07:00
2017-08-26 12:17:19 -07:00
2017-04-29 13:32:55 -07:00
2017-10-12 09:32:12 +02:00
2017-10-12 09:32:12 +02:00
2017-06-11 15:56:41 -07:00
2017-05-07 07:48:12 -07:00
2017-10-01 23:58:55 +03:00
2017-05-26 15:44:36 -07:00
2017-11-13 20:50:10 -08:00
2017-04-29 13:32:55 -07:00
2017-05-04 10:50:15 -07:00
2017-05-04 10:50:15 -07:00
2017-11-13 20:50:10 -08:00
2017-11-16 08:32:46 +01:00
2017-11-13 20:50:10 -08:00
2017-04-29 13:32:55 -07:00
2017-04-29 13:32:55 -07:00
2017-10-18 23:19:13 +02:00
2017-10-18 23:19:13 +02:00
2017-05-26 15:50:52 -07:00
2017-04-29 13:32:55 -07:00
2017-10-05 12:06:13 -07:00
2017-10-17 06:12:07 -04:00
2017-10-17 06:12:07 -04:00
2017-10-16 03:43:02 -08:00
2017-04-29 13:32:55 -07:00
2017-11-13 20:48:17 -08:00
2017-11-13 20:48:17 -08:00
2017-04-29 13:32:55 -07:00
2017-10-26 14:37:39 +02:00
2017-05-06 08:07:16 -07:00
2017-04-29 13:32:55 -07:00
2017-09-11 07:21:43 -07:00
2017-05-07 07:48:12 -07:00
2017-05-26 15:52:04 -07:00
2017-08-26 12:15:43 -07:00
2017-04-29 13:32:55 -07:00
2017-04-29 13:32:55 -07:00
2017-04-29 13:32:55 -07:00
2017-04-29 13:32:55 -07:00
2017-10-30 12:27:29 -07:00
2017-06-18 01:00:30 -07:00
2017-10-09 13:38:58 +03:00
2017-07-25 22:12:19 +09:00
2017-05-26 15:50:52 -07:00
2017-04-29 13:32:55 -07:00
2017-04-29 13:32:55 -07:00
2017-04-29 13:32:55 -07:00
2017-04-29 13:32:55 -07:00
2017-11-16 08:32:46 +01:00
2017-07-09 12:50:22 -07:00
2017-11-03 07:49:11 -07:00
2017-10-07 08:36:10 -07:00
2017-10-04 08:05:09 -07:00
2017-11-03 07:49:11 -07:00
2017-10-08 19:41:54 +03:00
2017-04-29 13:32:55 -07:00
2017-04-29 13:32:55 -07:00
2017-04-29 13:32:55 -07:00
2017-04-29 13:32:55 -07:00
2017-11-10 10:31:19 +01:00
2017-11-09 10:43:03 +01:00
2017-05-26 15:44:36 -07:00
2017-10-30 21:45:56 +01:00
2017-04-29 13:32:55 -07:00
2017-04-29 13:32:55 -07:00
2017-11-13 20:48:17 -08:00
2017-10-09 11:49:29 +03:00
2017-11-13 20:50:10 -08:00
2017-07-27 14:45:58 -07:00
2017-11-13 20:44:26 -08:00
2017-07-19 06:21:23 -07:00
2017-10-12 09:32:12 +02:00
2017-10-20 06:51:51 -04:00
2017-11-09 16:21:31 -08:00
2017-08-29 06:49:44 -07:00
2017-11-09 16:21:31 -08:00
2017-10-20 17:25:18 -04:00
2017-11-13 20:50:10 -08:00
2017-07-20 17:32:54 -07:00
2017-04-29 13:32:55 -07:00
2017-11-13 20:50:10 -08:00
2017-09-06 08:30:48 -07:00
2016-04-04 22:33:58 -07:00
2016-04-04 22:33:58 -07:00
2017-10-29 20:00:53 +01:00
2017-05-26 15:50:52 -07:00
2017-04-29 13:32:55 -07:00
2017-04-29 13:32:55 -07:00
2017-11-16 14:26:14 +01:00
2017-11-16 14:26:14 +01:00
2017-05-27 11:07:20 -07:00
2017-04-29 13:32:55 -07:00
2017-10-07 08:16:53 -07:00
2017-10-04 08:05:09 -07:00
2017-04-29 13:32:55 -07:00
2017-07-17 16:50:03 -07:00
2017-07-21 16:33:19 -07:00
2017-04-29 13:32:55 -07:00
2017-11-13 20:50:10 -08:00
2017-04-29 13:32:55 -07:00
2016-04-04 22:33:58 -07:00
2017-04-29 13:32:55 -07:00
2017-11-16 14:26:14 +01:00
2017-04-29 13:32:55 -07:00
2017-04-29 13:32:55 -07:00
2017-04-29 13:32:55 -07:00
2017-07-30 16:28:30 -07:00
2017-04-29 13:32:55 -07:00