Re: [isabelle] Finding a node name in the graph browser
I find them quite tricky to navigate as well. The actual graph doesn’t fit even the largest size and scrolling doesn’t seem to work very well.
On 7 Apr 2014, at 15:05, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:
> Hi all,
> the typical graphs displayed in the graph browser (e.g. as produced by
> class_deps after theory Main) are so complex that it is very hard to
> find a specific node by name (cf. attached screenshot).
> Obviously adding a text search to this ancient AWT application seems out
> of focus. But maybe sorting the nodes lexically would be a pragmatic
> Any opinions?
> PGP available:
This archive was generated by a fusion of
Pipermail (Mailman edition) and