Tree: e519609834

1.0.4-release

1.0.4-release--issue-470

1.0.4-release-candidate

1.0.5-release

1.0.5-release-candidate

1.0.6-release

1.0.7-release

1.0.7-wip

1.0.8-release

1.0.9-release

1.2.1-release

2.0

debug-shell

dynamic-values

issue-272-optional-radio-group-behavior

issue-286

master

subparsing

wx2.0

wxpy3

1.0.3

1.0.3.1-hotfix

1.0.4

1.0.5

1.0.6

1.0.7

1.0.8

1.0.8.1

1.2.0-alpha

Branches Tags

${ item.name }

Create branch ${ searchTerm }

from 'e519609834'

${ noResults }

Commit Graph

6 Commits (e51960983472cd6e157b859012141fa1d78c84d3)

Author	SHA1	Message	Date
eladeyal	e519609834	change consts used for style Based on https://wxpython.org/Phoenix/docs/html/wx.richtext.RichTextCtrl.html#wx.richtext.RichTextCtrl the style constants used are wrong.	6 years ago
eladeyal	7ea39f3a4b	more pythonic	6 years ago
eladeyal	ae86c07108	fix rich console was not appending - fix #433	6 years ago
eladeyal	dcfa5122c7	python 2 compatibility	6 years ago
eladeyal-intel	92c16fd409	fix typo	6 years ago
Nathan Richard	5e3ef77c36	Handling of style-oriented ascii espace sequences. Using the RichTextCtrl widget we are able to use advanced formatting in the console pannel. The formatting information is extracted from the text stream by searching for terminal escape sequences. The sequence values are taken from the colored package, which becomes a lazy dependency (imported only when the feature is activated). The previous implementation (using the TextCtrl widget) has been extracted into a separate class. The client code chooses between the basic or the rich class based on the richtext_controls configuration parameter. The default is to use the previous implementation based on TextCtrl.	6 years ago