Devrim GÜNDÜZ wrote: > Hi, > > On Tue, 2007-10-23 at 08:37 +0100, Dave Page wrote: >>> (BTW, I found a serious bug which exits in all releases: If you >>> press ctrl+F4, pgadmin3 shuts down. Is that expected? :-P) >> It doesn't for me (on F7). Alt+F4 does, but then thats the shortcut >> for File->Exit so it's kindof expected :-) > > I'd say Alt+F4, not ctrl+F4 of course. You may blame the > beer^H^H^H^H^H^H^H^H...err... ;)
:-) /D ---------------------------(end of broadcast)--------------------------- TIP 2: Don't 'kill -9' the postmaster
