Re: [eclipse-users] How to remember last variable value and then choose in search

From: Daniel Lucraft <dan_at_fluentradical.com>
Date: Thu, 21 Feb 2008 03:07:36 -0800 (PST)
--- Helmut Simonis <h.simonis_at_4c.ucc.ie> wrote:
> problem. Alternatively, you can do the search not on
> a list of variables,
> but on a list of terms(Id,Var) where Id is an id
> (say a number), identifying
> the problem variable, and Var is the variable
> itself. You can then lookup
> the old value under the id. 

That's a good idea. Might be faster than the var_names
business too.

thank you!

Dan
Received on Thu Feb 21 2008 - 11:08:01 CET

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET