diff src/browser/sat_browser/richtext.py @ 644:7692bbfe0b2f frontends_multi_profiles

browser side: call of parent profilePlugged for overriden method
author Goffi <goffi@goffi.org>
date Tue, 24 Feb 2015 20:27:31 +0100
parents 9092e624bb27
children 6d3142b782c3
line wrap: on
line diff