Re: Search not working within WO editor

From: Mike Schrag (mschra..dimension.com)
Date: Mon Sep 19 2005 - 13:29:37 EDT

Next message: Sébastien Sahuc: "Re: My Preference->WOLisp page isn't displaying properly"

Previous message: Sébastien Sahuc: "Search not working within WO editor"
In reply to: Sébastien Sahuc: "Search not working within WO editor"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

That's an Eclipse bug ... Apparently it's working but it doesn't
highlight so you can't see it. You can tell because search and
replace DOES work.

On Sep 19, 2005, at 1:23 PM, Sébastien Sahuc wrote:

> Not sure if this is an Eclipse bug or a WO editor bug. I tried with
> both 09/07 and 09/14 3.1.1 build of eclipse and latest WOLisp CVS
> on Mac OS X. When I hit CRTL+F to search inside the .wod file, it
> doesn't find anything. Should I file a bug on jira or report that
> to Eclipse project ?
>
> Sebastien
>

Next message: Sébastien Sahuc: "Re: My Preference->WOLisp page isn't displaying properly"
Previous message: Sébastien Sahuc: "Search not working within WO editor"
In reply to: Sébastien Sahuc: "Search not working within WO editor"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2.0.0 : Mon Sep 19 2005 - 13:29:42 EDT