Replies: 5 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) |
Beta Was this translation helpful? Give feedback.
-
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) |
Beta Was this translation helpful? Give feedback.
-
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) |
Beta Was this translation helpful? Give feedback.
-
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) |
Beta Was this translation helpful? Give feedback.
-
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) |
Beta Was this translation helpful? Give feedback.
-
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)
Beta Was this translation helpful? Give feedback.
All reactions