pgAdmin III 1.10 beta

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
rod(at)iol(dot)ie
Galway Cathedral Recitals: http://www.galwaycathedral.org/recitals
------------------------------------------------------------------