comparison frontends/src/quick_frontend/quick_widgets.py @ 2232:4f389486667d

jp: added constant to handle ANSI code for header and subheaders
author Goffi <goffi@goffi.org>
date Thu, 27 Apr 2017 00:57:04 +0200
parents e22ab34c68f6
children 8b37a62336c3
comparison
equal deleted inserted replaced
2231:230fc5b609a8 2232:4f389486667d