comparison frontends/src/quick_frontend/quick_list_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 2daf7b4c6756
children
comparison
equal deleted inserted replaced
2231:230fc5b609a8 2232:4f389486667d