2 Commits

Include renames

Author	SHA1	Message	Date
Eberhard Graether	17ec0747f2	ui: Fixed weird border in screen search bar	2018-04-22 22:53:46 +02:00
Eberhard Graether	95ef8c3eec	ui: Added on-screen search feature (issue #79) ... * Use menu action "Edit -> Find in View" or Ctrl + D * UI displayed as search bar at bottom of main window * Hide search bar with ECS or close button * Entering a query searches in name of graph nodes and code contents of code view * Use Enter to iterate through matches, well move match into view in graph and code view * Checkboxes allow for adding/removing results for certain views * Create Bookmark shortcut is now CTRL + S bug id = 79	2017-09-19 14:00:40 +02:00