comparison frontends/src/quick_frontend/quick_menus.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 58f0c96d60e5
children 8b37a62336c3
comparison
equal deleted inserted replaced
2231:230fc5b609a8 2232:4f389486667d