What does your feature request improve on? Please describe.
Searching something the in the history is a bit tedious and could be improved by providing a search bar.
Describe the solution you'd like
I want to have a search bar for the history, which narrows down the possible matches and even makes it possible to execute and extract any of the results.
Additional context
Add any other context or screenshots about the feature request here.
(Do not write below this line)
DEVS' SECTION
ANALYSIS
A possible approach could be to use the created search widget to search within the history. Might need small adaptions due to its memory model, but should provide the necessary functionalities out-of-the-box.
DESCRIPTION
What does your feature request improve on? Please describe. Searching something the in the history is a bit tedious and could be improved by providing a search bar.
Describe the solution you'd like I want to have a search bar for the history, which narrows down the possible matches and even makes it possible to execute and extract any of the results.
Additional context Add any other context or screenshots about the feature request here.
(Do not write below this line)
DEVS' SECTION
ANALYSIS
A possible approach could be to use the created search widget to search within the history. Might need small adaptions due to its memory model, but should provide the necessary functionalities out-of-the-box.
IMPLEMENTATION STEPS
(see also our Wiki for implementation guidelines)
DOCUMENTATION STEPS
(see also our Wiki for further information)
*.NHLP
and*.NDB
files, if needed)*.NLNG
files, if needed)PULL REQUEST