Some UI bugs

[A_B_C]

I meant to report two UI-related bugs. First off, scrollbars behave differently from the operating system. They are wide when you scroll using trackpad or mouse wheel, and they will become thin when you hover over them to grab them. The operating system has it the other way around, and of course, this makes more sense (see my video). Secondly, a few glyphs are missing from the shortcut preferences.

Keep up the good work,

Alex 

[MEB]

Thanks A_B_C. I'm logging these to be looked at.

[R C-R]

FWIW, I reported the missing glyphs issue over a week ago. For me, it seems only to apply to cursor keys used in shortcuts, & causes shortcuts using them not to work -- nothing happens when they are typed, not even a menu flash. This can be fixed by manually typing in the keyboard shortcut in the preferences.

EDIT: There is also an issue with how the page shortcuts are displayed in the Document menu when they are set to use the home, end, page up, & page down keys present on some keyboards:

All four shortcuts work correctly; they just are not displayed correctly in the menu.