repo.or.cz
/
plumiferos.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Fix for bug #8713: edge loop delete did an undo push too much.
[plumiferos.git]
/
tools
/
bcolors.py
blob
b01bb781524408c5bfae16e6e4c0484b40f780fb
1
class
bcolors
:
2
HEADER
=
'
\033
[95m'
3
OKBLUE
=
'
\033
[94m'
4
OKGREEN
=
'
\033
[92m'
5
WARNING
=
'
\033
[93m'
6
FAIL
=
'
\033
[91m'
7
ENDC
=
'
\033
[0m'
8
9
def
disable
(
self
):
10
self
.
HEADER
=
''
11
self
.
OKBLUE
=
''
12
self
.
OKGREEN
=
''
13
self
.
WARNING
=
''
14
self
.
FAIL
=
''
15
self
.
ENDC
=
''
16