Vincent Sanders
4dc4d8b318
add miscellaneous event to browser window callback table
...
extend the browser window callback table with a miscallaneous event
entry. This is used to replace all browser window callbacks which
take no parameters.
This reduces the API surface from seven separate calls to a single
call with an enumeration which may be readily extended.
The initial implementation in the frontends simply calls the original
implementations to reduce scope for errors.
2019-08-20 00:16:52 +01:00
..
2018-04-22 11:15:23 +01:00
2017-09-07 18:12:09 +01:00
2019-08-05 22:18:50 +01:00
2019-08-05 22:13:24 +01:00
2019-08-14 12:18:39 +01:00
2017-09-06 18:45:27 +01:00
2019-06-30 09:52:06 +01:00
2017-09-06 18:45:27 +01:00
2017-09-06 18:45:27 +01:00
2017-09-06 18:45:27 +01:00
2016-12-28 15:25:57 +00:00
2019-08-03 16:57:28 +01:00
2017-02-19 11:32:17 +00:00
2019-08-14 12:18:39 +01:00
2017-05-28 17:28:28 +01:00
2017-09-06 18:45:27 +01:00
2017-09-06 18:45:27 +01:00
2016-06-06 09:01:38 +01:00
2018-05-23 11:48:35 +01:00
2019-06-30 09:52:06 +01:00
2017-09-06 18:45:27 +01:00
2016-12-28 15:26:02 +00:00
2019-08-06 13:15:23 +01:00
2019-08-14 12:18:39 +01:00
2017-09-06 18:45:27 +01:00
2017-09-06 18:45:27 +01:00
2016-12-28 15:26:02 +00:00
2017-09-06 18:45:27 +01:00
2017-09-06 18:45:27 +01:00
2017-01-13 10:03:24 +00:00
2019-08-04 14:12:31 +01:00
2017-05-28 22:07:33 +01:00
2019-08-14 12:18:39 +01:00
2017-09-06 18:45:27 +01:00
2017-09-06 18:45:27 +01:00
2017-09-06 18:45:27 +01:00
2018-05-23 13:48:17 +01:00
2018-05-23 13:48:17 +01:00
2017-09-06 18:45:27 +01:00
2018-05-23 17:46:22 +01:00
2017-02-11 13:57:07 +00:00
2016-06-10 11:53:28 +01:00
2019-05-05 22:50:25 +01:00
2017-09-06 18:45:27 +01:00
2016-06-06 09:01:38 +01:00
2019-08-05 22:13:24 +01:00
2016-12-28 15:26:02 +00:00
2017-09-06 18:45:27 +01:00
2019-08-03 14:29:05 +01:00
2019-06-30 09:52:06 +01:00
2019-08-05 22:13:24 +01:00
2017-09-07 18:12:09 +01:00
2017-09-06 18:45:27 +01:00
2017-09-06 18:45:27 +01:00
2019-06-30 09:52:06 +01:00
2017-09-06 18:45:27 +01:00
2017-09-06 18:45:27 +01:00
2017-01-21 14:20:55 +00:00
2017-09-06 18:45:27 +01:00
2016-06-13 23:34:45 +01:00
2017-09-06 18:45:27 +01:00
2017-09-06 18:45:27 +01:00
2019-08-20 00:16:52 +01:00
2019-08-04 15:01:30 +01:00