<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Mar 17, 2016 at 4:39 PM, Chris Muller <span dir="ltr">&lt;<a href="mailto:asqueaker@gmail.com" target="_blank">asqueaker@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Thu, Mar 17, 2016 at 4:58 AM, Bert Freudenberg &lt;<a href="mailto:bert@freudenbergs.de">bert@freudenbergs.de</a>&gt; wrote:<br>
&gt;<br>
&gt; On 17.03.2016, at 01:43, Eliot Miranda &lt;<a href="mailto:eliot.miranda@gmail.com">eliot.miranda@gmail.com</a>&gt; wrote:<br>
&gt;<br>
&gt;<br>
&gt;<br>
&gt; On Wed, Mar 16, 2016 at 11:58 AM, Bert Freudenberg &lt;<a href="mailto:bert@freudenbergs.de">bert@freudenbergs.de</a>&gt;<br>
&gt; wrote:<br>
&gt;&gt;<br>
&gt;&gt;<br>
&gt;&gt; &gt; On 16.03.2016, at 18:48, marcel.taeumel &lt;<a href="mailto:Marcel.Taeumel@hpi.de">Marcel.Taeumel@hpi.de</a>&gt; wrote:<br>
&gt;&gt; &gt;<br>
&gt;&gt; &gt; Mabye we need a simple way to link bindings across tools. Then, for<br>
&gt;&gt; &gt; example,<br>
&gt;&gt; &gt; we could simple connect a Workspace window to the text box in the<br>
&gt;&gt; &gt; Inspector<br>
&gt;&gt; &gt; (resp. Object Explorer) and all would share the same bindings. Then, you<br>
&gt;&gt; &gt; could simply select stuff in the Object Explorer, evaluate &quot;x := self&quot;<br>
&gt;&gt; &gt; and<br>
&gt;&gt; &gt; you would have access to x in that other Workspace (resp. Inspector&#39;s<br>
&gt;&gt; &gt; text<br>
&gt;&gt; &gt; box).<br>
&gt;&gt;<br>
&gt;&gt; Not a bad idea … what could be a UI for connecting workspaces?<br>
<br>
</span>Why not just invoke the halos on the inspectors built-in workspace and<br>
clone it with the upper-green button and use that?<br>
<br></blockquote><div>This would break workflow I think because like Jacob wrote, you open a file in a Workspace and you need a reference to that from another already open Workspace.</div><div> </div><div>How about another copy command, like &#39;copy as reference&#39; and then you could paste it in another Workspace ?</div><div><br></div><div><br></div></div>Best,</div><div class="gmail_extra">Karl</div></div>