Michael Drake 743637a8d2 RISC OS: Ensure core's hotlist_init is called on startup.
Until the core hotlist_init is called, it is impossible to add
pages to the hotlist.  This means we need to ensure it is called
on startup, rather than when first showing the hotlist.
2016-12-29 11:45:21 +00:00
..
2016-12-28 15:25:46 +00:00
2016-12-28 15:25:46 +00:00
2016-05-30 11:31:35 +01:00
2016-12-28 16:14:19 +00:00
2016-05-30 21:05:57 +01:00
2016-06-14 12:39:54 +01:00
2016-05-30 11:20:15 +01:00