Łukasz Mierzwa a8c158963d Trim very long history menu items ...

If there's a very long menu item entry we should trim it

2017-09-07 12:22:41 -07:00

..

static

Trim very long history menu items

2017-09-07 12:22:41 -07:00

templates

Add button to toggle annotation visibility

2017-09-07 12:15:32 -07:00