comparison src/browser/sat_browser/richtext.py @ 643:3e4826948eef frontends_multi_profiles

browser side: do a hard reload on disconnected signal
author Goffi <goffi@goffi.org>
date Tue, 24 Feb 2015 19:15:28 +0100 (2015-02-24)
parents 9092e624bb27
children 6d3142b782c3
comparison
equal deleted inserted replaced
642:5af02673d047 643:3e4826948eef