The new version works well. Thanks!
On 2/7/2011 18:13, chris burke wrote: > Sorry, must have made a mistake when committing the fix. Please try again. > > On Mon, Feb 7, 2011 at 8:44 PM, David Mitchell<[email protected]> wrote: >> Is there something I need to do to enable this? I got the new gtk ide and >> restarted JGTK, but I don't see any change in this behavior. >> >> On 2/7/2011 6:59, chris burke wrote: >>> Done, thanks. >>> >>> On Mon, Feb 7, 2011 at 7:05 PM, David Mitchell<[email protected]> >>> wrote: >>>> Is there any way to have GTK Edit double click selection work the same way >>>> it >>>> did in J6? >>>> >>>> If I double click on text in the J7 GTK edit window, it selects only >>>> contiguous >>>> alphabetic characters or contiguous numeric characters. Double-clicking on >>>> underscores only selects contiguous underscores. >>>> >>>> It seems as if it would be more useful for double click in J7 to select an >>>> entire J name, including all contiguous alphabetic characters, numeric >>>> characters and underscores, which is the J6 edit behavior. >>>> ---------------------------------------------------------------------- >>>> For information about J forums see http://www.jsoftware.com/forums.htm >>>> >>> ---------------------------------------------------------------------- >>> For information about J forums see http://www.jsoftware.com/forums.htm >> ---------------------------------------------------------------------- >> For information about J forums see http://www.jsoftware.com/forums.htm >> > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
