3 Commits

Include renames

Author	SHA1	Message	Date
Eberhard Graether	38d9ec07a5	ui: bug fixes in smart search box ... * hide completer when elements are updated * show correct indices in sub query search * move query elements forward when the cursor is at the end of the box	2014-11-03 16:16:35 +01:00
Eberhard Graether	e972dbe098	ui: augmented autocompletion list ... This change adds search match information to the autocompletion list: - matching letters - color for token or command - node type as string	2014-11-02 17:21:51 +01:00
Eberhard Graether	2c84bf20ed	data: split off inner classes of SearchIndex	2014-10-28 22:06:22 +01:00