bug report: derive gui

[Ross Duncan]

When choosing rewrites in the derive GUI:

1. the target window (bottom right) is drawn weirdly off centre so the graph goes out of the frame on the left — you can’t see the whole graph and the scroll bar doesn’t appear.

2. The matched subgraph in the main window doesn’t highlight. (Was this feature intentionally removed? It was very useful especially given…)

3. Layout of rewritten graphs is user-hostile. As a minimal improvement would be not drawing vertices on top of each other.

-r

[Aleks Kissinger]

The user-hostility comes from the fact that the GUI can't reliably figure out *what* has been rewritten from the output is receives from the core, so it uses a couple of makeshift techniques (e.g. when it sees a name it has never seen before), but these often fail. This could be fixed if the core simply annotated the new nodes in some useful way, but I haven't gotten around to this.

In the mean time, a handy time saver are the keys "R" and "shift+R" for "relaxing" the layout. This works in any window that has a graph in it. Select some nodes and hold one of these down to do a few iterations of force-layout. Then you can hit "G" again to snap everything to the grid. "R" uses node-repulsion and edge attraction, whereas "shift+R" only uses edge attraction. This tends to be better if your rewritten part is highly connected to the rest.

-r

--
You received this message because you are subscribed to the Google Groups "Quantomatic" group.
To unsubscribe from this group and stop receiving emails from it, send an email to quantomatic+unsubscribe@googlegroups.com.
To post to this group, send email to quant...@googlegroups.com.
Visit this group at https://groups.google.com/group/quantomatic.
For more options, visit https://groups.google.com/d/optout.

[Aleks Kissinger]

Also, if you move a node in the little rewrite pane, scrollbars will appear. Dunno why it doesn't do this automatically. ESP (error some place)

[Ross Duncan]

On 23 Sep 2016, at 13:51, Aleks Kissinger <ale...@gmail.com> wrote:

> In the mean time, a handy time saver are the keys "R" and "shift+R" for "relaxing" the layout. This works in any window that has a graph in it. Select some nodes and hold one of these down to do a few iterations of force-layout. Then you can hit "G" again to snap everything to the grid. "R" uses node-repulsion and edge attraction, whereas "shift+R" only uses edge attraction. This tends to be better if your rewritten part is highly connected to the rest.

Sweet! I didn’t know about this. Are there any other hidden features?

-r

>
> On 23 September 2016 at 10:19, Ross Duncan <dr.ross...@gmail.com> wrote:
> When choosing rewrites in the derive GUI:
>
> 1. the target window (bottom right) is drawn weirdly off centre so the graph goes out of the frame on the left — you can’t see the whole graph and the scroll bar doesn’t appear.
>
> 2. The matched subgraph in the main window doesn’t highlight. (Was this feature intentionally removed? It was very useful especially given…)
>
> 3. Layout of rewritten graphs is user-hostile. As a minimal improvement would be not drawing vertices on top of each other.
>
> -r
>
> --
> You received this message because you are subscribed to the Google Groups "Quantomatic" group.

> To unsubscribe from this group and stop receiving emails from it, send an email to quantomatic...@googlegroups.com.

> To post to this group, send email to quant...@googlegroups.com.
> Visit this group at https://groups.google.com/group/quantomatic.
> For more options, visit https://groups.google.com/d/optout.
>
>

> --
> You received this message because you are subscribed to the Google Groups "Quantomatic" group.

> To unsubscribe from this group and stop receiving emails from it, send an email to quantomatic...@googlegroups.com.

[Aleks Kissinger]

You can toggle directed/undirected by prettying "D" and flip the edge direction by pressing "F". This is considered a rewrite hint rather than semantic data, so this is even allowed in derivations (cf. your other feature request).

I tend to just hack these things in as I need them, so they often go un-documented.

On 23 September 2016 at 18:15, Ross Duncan <dr.ross...@gmail.com> wrote:

On 23 Sep 2016, at 13:51, Aleks Kissinger <ale...@gmail.com> wrote:

> In the mean time, a handy time saver are the keys "R" and "shift+R" for "relaxing" the layout. This works in any window that has a graph in it. Select some nodes and hold one of these down to do a few iterations of force-layout. Then you can hit "G" again to snap everything to the grid. "R" uses node-repulsion and edge attraction, whereas "shift+R" only uses edge attraction. This tends to be better if your rewritten part is highly connected to the rest.

Sweet!  I didn’t know about this.  Are there any other hidden features?

-r

>
> On 23 September 2016 at 10:19, Ross Duncan <dr.ross...@gmail.com> wrote:
> When choosing rewrites in the derive GUI:
>
> 1.  the target window (bottom right) is drawn weirdly off centre so the graph goes out of the frame on the left — you can’t see the whole graph and the scroll bar doesn’t appear.
>
> 2. The matched subgraph in the main window doesn’t highlight.  (Was this feature intentionally removed?  It was very useful especially given…)
>
> 3.  Layout of rewritten graphs is user-hostile.  As a minimal improvement would be not drawing vertices on top of each other.
>
> -r
>
> --
> You received this message because you are subscribed to the Google Groups "Quantomatic" group.

> To unsubscribe from this group and stop receiving emails from it, send an email to quantomatic+unsubscribe@googlegroups.com.

> To post to this group, send email to quant...@googlegroups.com.
> Visit this group at https://groups.google.com/group/quantomatic.
> For more options, visit https://groups.google.com/d/optout.
>
>
> --
> You received this message because you are subscribed to the Google Groups "Quantomatic" group.

> To unsubscribe from this group and stop receiving emails from it, send an email to quantomatic+unsubscribe@googlegroups.com.

> To post to this group, send email to quant...@googlegroups.com.
> Visit this group at https://groups.google.com/group/quantomatic.
> For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups "Quantomatic" group.

To unsubscribe from this group and stop receiving emails from it, send an email to quantomatic+unsubscribe@googlegroups.com.