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.

Sign up for GitHub

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

Jump to bottom

Font size option and search/filter box are needed. #10

Closed

HubKing opened this issue Feb 16, 2017 · 1 comment

Assignees

Labels

Milestone

HubKing commented Feb 16, 2017 •

edited

Loading

The default font is too small. Please let users select the font size.
There is no search/filter box. For example, sometimes I need to list only the methods whose name contains "_Click". If there is a search/filter box at the top, it would be helpful.

sboulema self-assigned this

sboulema added the enhancement label

sboulema added this to the 1.6 milestone

sboulema added a commit that referenced this issue


          #10: Added font options

0c2fbf3

sboulema added a commit that referenced this issue


          #10: Add FilterTextBox

97aff04

Owner

sboulema commented Feb 17, 2017

Good suggestion!
I knew this request would come :p

Added in the upcoming 1.6 version :D

sboulema closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment