mirror of
https://github.com/oliverschmidt/contiki.git
synced 2025-02-26 01:29:27 +00:00
* Cleanup * Fix warnings * Fix indentation * Only wait 1ms for keyboard timeout * Hide text cursor * Pump mouse events just in case * Add F9 as menu key since F10 is used as menu trigger by Gnome