nvda
30f6cec8
- Fix up of: Add filtering functionality to the symbols list (PR #10217)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
6 years ago
Fix up of: Add filtering functionality to the symbols list (PR #10217) The replacement control was added to the wrong sizer. Issues: (#8790, #10216)
References
#10217 - Fix up of: Add filtering functionality to the symbols list (#8790, #10216) - Py3
Author
JulienCochuyt
Committer
feerrenrut
Parents
65a2c3c2
Loading