SamB / coq

IMPORTANT
    To use the keyboard you must first focus the graph by clicking in it.

MOVEMENT
    To move around the graph you can either use the mouse or the keyboard.

    mouse
        Click and drag.

    ←, h
        Scroll left.

    →, l
        Scroll right.

    ↑, k
        Scroll up.

    ↓, j
        Scroll down.

    shift-←
    shift-h
        Scroll all the way left (first commit).

    shift-→
    shift-l
        Scroll all the way right (last commit).

    shift-↑
    shift-k
        Scroll all the way up vertically.

    shift-↓
    shift-j
        Scroll all the way down vertically.

COMMITS

    mouse over a commit dot
        Show the author, commit id, and commit message for that commit.

    click a commit dot
        Go to that specific commit in the owner's repository.

LABELS

    t   Toggle the visibility of the head labels