-
Notifications
You must be signed in to change notification settings - Fork 36
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
combo box filtering #145
Comments
We may implement the suggested option of kovewnikov.. |
yes please, that will be awesome. I will use it to search, display, and filter near online players' names entities in the game hehe. just kinda making like mtasa admin panel xD |
So, I finished 1.77, merged it back into master and ported the named To test it, simply uncomment this and this To simplify I opted for a much simpler and quicker If we want to expand this, kind of like the completition on Idea where, for example, the capital letters matter, we can continue working on it together Otherwise, if satisfied, just close it :) |
thats available too in jdk8-snapshot one? |
Now |
Regarding the filtering function: we may implement some pre-defined options, such as "plain" (first which starts with the same input), "advanced" (search for the one maximizing the number of matching chars), "onCapitals" (same but priority to the capitals letters), etc etc Just an idea |
ocornut/imgui#1658
like this :( kinda nice to have
The text was updated successfully, but these errors were encountered: