search

tirix / mm-web-ui

A user interface for the Metamath web pages
MIT License
4 stars 0 forks source link

Provide keyboard-based browsing. #4

Closed tirix closed 6 years ago

tirix commented 6 years ago

As suggested by FL in his google groups post:

Simple. Use the arrow keys to move from one step to the other or open a step. It will be smoother.

You need an interface that is useful. With that kind of interface you will have to open or close hundreds of steps while exploring the proof. Don't use the mouse, use the keyboard.

tirix commented 6 years ago

Keyboard browsing is supported since commit 0f8a5a8.

Up/down keys move to the previous/next proof step. Left/right keys expand/collapse antecedent steps.