[Jmove-devel] Integrated search ...

[<ax...@sp...>]

Hi,

i have integrated the search into the jmover. The search now allows searching model elements of type 'Type' 'JPackage' and 'Module' and opens the dependency view of the selected element when 'ENTER' is pressed. The side effect is that  now there are also dependency view of modules next to the module overview. We have not had them before. And the best is - i coded no line of code for that  it simple worked :-). Because it is not only a type search i renamed the menu entry to 'Go To | Model Element' with the shortcut 'Ctrl G'. 
By the way i redesigned the search ui a little bit - perhaps you like it more than the old one - at least i do ;-). 

So please take a look at it and test it. There is one thing i am not totally happy with. I create the search index each time a search activity is started by the user. This makes sure that the index is up to date but may be a little bit inefficient in general. The reason for this is that we have no simple appropiate update mechanism for search indices which listens to model changes. Building up the search index for smaller models is not noticeable to the user. I used a model with 800 indexed elements and building up the index took about 50 ms on my machine. But with bigger models ( > 5000 ) the user will notice a delay.

Axel