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
