Re #24, #25: Adding show/hide and lock/unlock buttons to markups widget.