Search not working within WO editor

From: Sébastien Sahuc (lis..ahuc.net)
Date: Mon Sep 19 2005 - 13:23:30 EDT

  • Next message: Mike Schrag: "Re: Search not working within WO editor"

    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

    This archive was generated by hypermail 2.0.0 : Mon Sep 19 2005 - 13:23:34 EDT