diff widgets/CommandHistory.cpp @ 712:833cd1b8014f tonioni

Make it possible to globally hide pane accessories (close button & current-indicator)
author Chris Cannam
date Fri, 10 Jan 2014 09:04:06 +0000
parents 692a8b9804fe
children f428bd852580
line wrap: on
line diff