-
Notifications
You must be signed in to change notification settings - Fork 34
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Search for states in tool bar #831
Comments
GTK+3 offers new widgets for searches, which could be used for that: Originally created by @franzlst ([email protected]) at 2016-01-20 07:07:09+00:00 (moved from RMC internal repository) |
I'm missing this feature already a while, too. I already have pressed the shortcut "strg-f" several times. For evolving to the best solution I would recommend to locate the search-field above or below the state-machine which it is searching in. Therefore it could be a simple connection of strg-f shortcut to show the window and a close button to hide it again. Originally created by @Rbelder at 2016-01-20 08:55:02+00:00 (moved from RMC internal repository) |
How should this search bar behave? If i have three states "state_a", "state_b" and "final_state" and i type in "sta", should there be a dropdown autocompletion window? And when I select one of the results, should the state then be selected or just highlighted? Originally created by stoertebeker23 ([email protected]) at 2016-11-11 14:41:37+00:00 (moved from RMC internal repository) |
The state should be selected and the search maybe should use a focus to really be helpful, in future. So issue #37 will be really helpful to get bigger gain from this feature. In general: Similar it is for a global search in all open state machines if you maybe wanna search for specific library states for substitution. For now: it seems to be enough to implement the search generally for states or ports by name and give a possibility to step through the results for the actual selected state machine.
Originally created by @Rbelder at 2016-11-11 15:37:47+00:00 (moved from RMC internal repository) |
I think the easiest for now is to use the State Machine tree widget. I think these list/tree widgets already offer a native search bar, if you start typing in them. Probably they need to be configured properly. Then the focus in the widget would jump to the state with the entered name (or the list would be filtered). A yet to be implemented "jump to state" feature (#37) for this widget would do the rest. Originally created by @franzlst ([email protected]) at 2016-11-14 07:36:56+00:00 (moved from RMC internal repository) |
A text-search field in the tool bar would be useful to find a specific state dependent on its name or id.
Originally created by @sebastian-brunner ([email protected]) at 2016-01-20 06:31:45+00:00 (moved from RMC internal repository)
The text was updated successfully, but these errors were encountered: