diff frontends/src/quick_frontend/quick_profile_manager.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 978011533892
children 8b37a62336c3
line wrap: on
line diff