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 shortcut!
If they made the menu too cluttered, they could be grouped into a submenu named "Format" or some such, as you often see on text editors. Great work on the new version - many thanks to you all! Ray. ------------------------------------------------------------------ Raymond O'Donnell, Director of Music, Galway Cathedral, Ireland r...@iol.ie Galway Cathedral Recitals: http://www.galwaycathedral.org/recitals ------------------------------------------------------------------ -- Sent via pgadmin-support mailing list (pgadmin-support@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-support
