Hide sample navigation if empty

(from redmine: issue id 1238, created on 2018-12-19tgradl, closed on 2019-01-07)

• Relations:
  • parent #1234