''A collection of ideas.''

= General Concepts to Introduce =

 * pseuo-steps, I propose black boxes with a white font

= Navigation Aids for Tree Views =

 * a central panel listing all step types and provides functions like "fold/unfold all steps of this type"
 * minimap of (visible part of) tree with square highlighting the currently visible part
 * function to "bookmark" steps, shown as dots in the minimap
 * (scroll wheel) zoom

= Tree Features for Logic Programming =

 * visualizing cuts (possible inspiration: Transparent Prolog Machine)
 * option to hide failed branches (only show a little red box by default, with the number of failed branches)
 * set of step status symbols (executing, succeeded, failed, finished, re-executing...) for the color-blind, consistent for all logic programming clients
 * ideas for clearer visualization of first tree dimension
   * visualize choicepoints, e.g. by a square white box reading ";" for disjunction, "C" for different clauses of a predicate, "R" for rules, etc., visible lines from choicepoint to first steps in respective branches
   * vertically align redo's with their original calls (and previous redo's) more clearly, connect them with a dotted horizontal line for explicitness
   * offer option to hide failed branches
   * optionally, autohide failed branches (as necessary to avoid long dotted lines higher up in the tree)
   * Left-align parents with children instead of center-aligning so the creation of a new branch does not jumble the topography of the whole tree. Or maybe right-align them. The latter would go together very well with existing edgy lines and have the advantage that failed branches are "pushed out" to the left and leave a straight "line of success" from top to bottom.

= Views for TRALE =

 * currently blocked goals, links to jump to blocking site