FWIW:
- +1 for INDEPENDENTLY configurable tab title AND tooltip
- I agree that in-place edit of tabs cost/benefit isn't there, unless
someone wants a personal free-time project
On Wed, Jun 12, 2019 at 4:44 AM Dave Page wrote:
> Hi
>
> On Wed, Jun 12, 2019 at 10:02 AM Aditya Toshniwal
Dave et al,
Might I suggest flipping the foreign key icon left for right? That way, the
key "points" to the left, back toward something pre-existing whilst the
primary key "points" to the right, forward towards something new?
Also, for me, the updated index icon loses its intuitiveness as it sugg
YES!
This changes EVERYTHING!
On Fri, Jun 16, 2017 at 7:47 AM, Robert Eckhardt
wrote:
> Nice! This is awesome. I didn't see it land.
>
> -- Rob
>
> On Fri, Jun 16, 2017 at 1:57 AM, Dave Page wrote:
>
>> Add support for detachable tabs to the runtime.
>>
>> This allows the Query Tool, Debugger
