Added quick search bar to the bookmark menu
This allows users to see current text and also fixes quick search issue
in case no match is found that the search text was reset.
Description
Description
Details
Details
- Committed
nmel Mar 11 2018, 8:24 AM - Differential Revision
- D11224: Added quick search bar to the bookmark menu + various fixes
- Parents
- R167:6632609e5493: Replaced ugly static variable with a proper design in bookmark menu builder
- Branches
- Unknown
- Tags