| #
25b91132 |
|
28-Jan-2015 |
wenzelm <none@none> |
clarified module name;
--HG--
rename : src/Tools/Graphview/visualizer.scala => src/Tools/Graphview/graphview.scala
|
| #
9cc55e6f |
|
19-Jan-2015 |
wenzelm <none@none> |
always swap panels, which leads to slightly better GUI layout;
|
| #
62632c06 |
|
19-Jan-2015 |
wenzelm <none@none> |
more symmetric layout of main panel;
misc tuning;
|
| #
03be0d9e |
|
19-Jan-2015 |
wenzelm <none@none> |
proper tooltips -- override action toolTip which is empty here;
|
| #
55f8b999 |
|
18-Jan-2015 |
wenzelm <none@none> |
suppress some controls that don't work yet;
|
| #
e31c6e88 |
|
18-Jan-2015 |
wenzelm <none@none> |
proper scrolling wrt. transform;
tuned signature;
|
| #
17e51983 |
|
18-Jan-2015 |
wenzelm <none@none> |
clarified main actions and keyboard focus;
|
| #
2b3688d4 |
|
18-Jan-2015 |
wenzelm <none@none> |
tuned signature;
|
| #
08817db4 |
|
18-Jan-2015 |
wenzelm <none@none> |
option graphview_swap_panels;
|
| #
f653497f |
|
18-Jan-2015 |
wenzelm <none@none> |
support for tree view on graph nodes;
misc tuning;
|
| #
3681e0bf |
|
17-Jan-2015 |
wenzelm <none@none> |
more explicit Layout.Info: size and content;
allow multi-line vertex label, based on content;
misc tuning;
|
| #
71ea3d5c |
|
06-Jan-2015 |
wenzelm <none@none> |
explict layout graph structure, with dummies and coordinates;
explicit metrics for dummy box;
tuned signature;
misc tuning;
|
| #
85d69581 |
|
05-Jan-2015 |
wenzelm <none@none> |
clarified visualizer parameters;
do not show dummies by default;
|
| #
9c932bc0 |
|
05-Jan-2015 |
wenzelm <none@none> |
tuned imports;
|
| #
4129f46a |
|
03-Jan-2015 |
wenzelm <none@none> |
clarified fit_to_window: floor scale within window bounds;
|
| #
d14ae24c |
|
03-Jan-2015 |
wenzelm <none@none> |
tuned;
|
| #
46126c11 |
|
03-Jan-2015 |
wenzelm <none@none> |
clarified bounding box, similar to old graph browser;
default font like old browser;
clarified metrics;
tuned signature;
|
| #
a9c5fc80 |
|
02-Jan-2015 |
wenzelm <none@none> |
tuned headers;
|
| #
219f8a6b |
|
01-Jan-2015 |
wenzelm <none@none> |
tuned signature;
|
| #
282ee19a |
|
01-Jan-2015 |
wenzelm <none@none> |
more dynamic visualizer -- re-use Isabelle/jEdit options;
clarified iTextField error: like Isabelle/jEdit search field;
tuned signature;
|
| #
9695b675 |
|
01-Jan-2015 |
wenzelm <none@none> |
more standard GUI layout;
|
| #
af879b32 |
|
01-Jan-2015 |
wenzelm <none@none> |
tuned imports;
|
| #
35ec6f3d |
|
01-Jan-2015 |
wenzelm <none@none> |
tuned signature;
|
| #
bbe9df58 |
|
30-Dec-2014 |
wenzelm <none@none> |
clarified source location;
--HG--
rename : src/Tools/Graphview/src/graph_panel.scala => src/Tools/Graphview/graph_panel.scala
rename : src/Tools/Graphview/src/layout_pendulum.scala => src/Tools/Graphview/layout_pendulum.scala
rename : src/Tools/Graphview/src/main_panel.scala => src/Tools/Graphview/main_panel.scala
rename : src/Tools/Graphview/src/model.scala => src/Tools/Graphview/model.scala
rename : src/Tools/Graphview/src/mutator.scala => src/Tools/Graphview/mutator.scala
rename : src/Tools/Graphview/src/mutator_dialog.scala => src/Tools/Graphview/mutator_dialog.scala
rename : src/Tools/Graphview/src/mutator_event.scala => src/Tools/Graphview/mutator_event.scala
rename : src/Tools/Graphview/src/popups.scala => src/Tools/Graphview/popups.scala
rename : src/Tools/Graphview/src/shapes.scala => src/Tools/Graphview/shapes.scala
rename : src/Tools/Graphview/src/visualizer.scala => src/Tools/Graphview/visualizer.scala
|