Re: [Pharo-users] Shortcuts for navigation history in Pharo5

July 16, 2016

      Hi Davide

add them to the description and send us a fix.

Stef

stepharo