On Tue, Apr 7, 2009 at 5:11 PM, Mike Blackwell wrote:
> The quick search keys in the object browser window seem to operate a
> little differently. They will now search the children of the
> (unexpanded) currently selected node as well as the currently expanded
> nodes. I don't recall it doing th
The quick search keys in the object browser window seem to operate a
little differently. They will now search the children of the
(unexpanded) currently selected node as well as the currently expanded
nodes. I don't recall it doing that before.
Mike Blackwell
--
Sent via pgadmin-support mailin
Le lundi 23 mars 2009 à 09:47:20, Dave Page a écrit :
> On Sat, Mar 21, 2009 at 3:56 PM, Guillaume Lelarge
>
> wrote:
> > Le samedi 21 mars 2009 à 14:25:32, Dave Page a écrit :
> >> On Fri, Mar 20, 2009 at 9:26 PM, Mike Blackwell
> >
> > wrote:
> >> > If the server connection drops while on the s
On Sat, Mar 21, 2009 at 3:56 PM, Guillaume Lelarge
wrote:
> Le samedi 21 mars 2009 à 14:25:32, Dave Page a écrit :
>> On Fri, Mar 20, 2009 at 9:26 PM, Mike Blackwell
> wrote:
>> > If the server connection drops while on the server status page, a popup
>> > is created every time the page refreshes
Le samedi 21 mars 2009 à 14:25:32, Dave Page a écrit :
> On Fri, Mar 20, 2009 at 9:26 PM, Mike Blackwell
wrote:
> > If the server connection drops while on the server status page, a popup
> > is created every time the page refreshes.
> >
> > To reproduce, connect to a server an monitor it, then s
On Fri, Mar 20, 2009 at 9:26 PM, Mike Blackwell wrote:
>
> If the server connection drops while on the server status page, a popup is
> created every time the page refreshes.
>
> To reproduce, connect to a server an monitor it, then stop the server.
Any thoughts on the best way to handle this Gu
If the server connection drops while on the server status page, a popup is
created every time the page refreshes.
To reproduce, connect to a server an monitor it, then stop the server.
--
Sent via pgadmin-support mailing list (pgadmin-support@postgresql.org)
To make changes to your subscri
On 19/03/2009 09:54, Dave Page wrote:
> In hindsight I agree. I think this is useful enough, and *probably*
> non-invasive enough to be added during beta, so I've asked Ashesh to
> knock up a patch to see if it would be acceptable.
That's great - hopefully it will make it in.
Speaking for myself
Hi Ray, sorry for the delay in replying to this.
On Mon, Mar 16, 2009 at 6:12 PM, Raymond O'Donnell wrote:
> Hi Dave & developers,
>
> Would it be a good idea to have the block indent/unindent and block
> comment/uncomment features appear as items on the "Edit" menu, along
> with their associated
On Mon, Mar 16, 2009 at 5:15 PM, wrote:
>
> The coloring property for the servers is nice. However, the selected item
> is always rendered in dark blue. This is difficult to notice if a blue is
> selected for a server color. It also interferes with recognising a server
> by color when all serv
The coloring property for the servers is nice. However, the selected item
is always rendered in dark blue. This is difficult to notice if a blue is
selected for a server color. It also interferes with recognising a server
by color when all server nodes are closed, as one of the servers will b
Hi Dave & developers,
Would it be a good idea to have the block indent/unindent and block
comment/uncomment features appear as items on the "Edit" menu, along
with their associated keyboard shortcuts? This would alert the new user
to their existence, not to mention make it easier to learn the shor
12 matches
Mail list logo
