[ jEdit-users ] Request

[Todd P. <to...@da...>]

Is there any chance of getting the new menu shortening 
code into the 2.5.x version? I don't know what is planned
for 2.6, but it could take a month or so to finish. The new
menu stuff is very useful, and would be a godsend to those 
who use jEdit in places with limited screen space, e.g. laptops =)

Todd


-- 
 Todd Papaioannou @ Earth  http://www.luckyspin.org      
 Luckyspin @ TerraFirmA   http://terrafirma.terra.mud.org
.           .          .         .        .       .      .     .    .   .  . .