comparison browser_side/richtext.py @ 321:bfbd9d6eb901

browser_side: info dialog to let the user know that a refresh is needed after GUI parameters have been changed
author souliane <souliane@mailoo.org>
date Fri, 03 Jan 2014 22:43:44 +0100
parents 462a0a8894e3
children 0b7934e75e76
comparison
equal deleted inserted replaced
320:a0ded7df30f7 321:bfbd9d6eb901