The enter button has to be hit twice to jump to a symbol from the dropdown list - Githubissues

JakobOvrum / bootDoc

Theme for the DDoc documentation generator

Other

36 stars 7 forks source link

The enter button has to be hit twice to jump to a symbol from the dropdown list #3

Closed JakobOvrum closed 12 years ago

JakobOvrum commented 12 years ago

This is kind of tedious.