comparison src/browser/sat_browser/editor_widget.py @ 868:a12f8d138ae2

theme (default): changed font, use the same fond as in dynamic part
author Goffi <goffi@goffi.org>
date Sun, 28 Feb 2016 11:54:14 +0100
parents d32b754265a0
children fd4eae654182
comparison
equal deleted inserted replaced
867:12d0e7bd0dd1 868:a12f8d138ae2