- 
                Notifications
    You must be signed in to change notification settings 
- Fork 24
Open
Description
I would love to run Datalog on my phone. This requires some small tweaks to the current UI:
- Make all elements visible without hovering for mobile devices (or for all devices?). This includes the gutter and buttons.
- Add a "run code" button. Shift + enter doesn't work on mobile; even if it did, a "run" button would be more convenient.
Metadata
Metadata
Assignees
Labels
No labels