Jonathan Lundell

The dropdown ToC menu doesn’t update after tapping the back-button.This screenshot by way of example: I’d tapped UIToolbar on the page shown, and then “

sig separator false positive

8

The -- in this message is treated as a sig separator, and should not be: ``` Here’s a body. Here’s a trial separator:-- Here’s the not-sig ```

Identify system font

1

It'd be useful to identify which font is used as the system font; it's a little hard to track the information down. Experimentation shows that it's 'Helvetica' on non-Retina devices,...