# this is not a plugin -- it is simply executed in FlauxText.__call__.

if transparency != False:    # could be zero
    try:
        self.run_plugin('transparency', transparency)
    except:
        pass

self.run_plugin('logging')

imp0rt_plugin('sourcehighlight')
if pluginsourcehighlight.__init__():
    pluginsourcehighlight.self = self
    self.new_buffer = pluginsourcehighlight.new_buffer
    self.new_buffer()