This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 407

Summary:	Implement find/replace for locating and replacing variables/clocks etc.
Product:	UPPAAL	Reporter:	Lasse Bigum <zenith>
Component:	GUI	Assignee:	Gerd Behrmann <behrmann>
Status:	ASSIGNED ---
Severity:	enhancement	CC:	marius
Priority:	P2
Version:	4.0.5
Hardware:	All
OS:	All
Architecture:

Description Lasse Bigum 2007-03-23 12:19:43 CET

I find that quite often you wish to find and/or replace the names of variables, and having a quick and easy way to do that, short of opening the XML file and doing it there, a find/replace would come in handy.

Comment 1 Gerd Behrmann 2007-03-23 13:24:51 CET

Good idea. The find & replace should of course cover both declarations and labels.