Alasdair Smith 3806d2bda7 Add right margin to toolbar if review panel open ... This fixes bug where the toolbar would be measured incorrectly if the review panel was open		2018-07-11 15:15:23 +01:00
..
web	Add right margin to toolbar if review panel open	2018-07-11 15:15:23 +01:00