Gooey

9 Tags

6.5 MiB

Tree: 88a417a3fd

Author	SHA1	Message	Date
Chris	d234ff3ce2	1.2.0	3 years ago
eladeyal	578e0d1905	allow control+scrollwheel to zoom rich text console #432	5 years ago
Chris	f9f07d06f9	closes #515 - fix typo in doc string	5 years ago
eladeyal	26e744b52c	detect URLs in rich console and make them clickable closes #421 Also closes #427 Auto-URL is confused by wide characters	5 years ago
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.	5 years ago
eladeyal	7ea39f3a4b	more pythonic	5 years ago
eladeyal	ae86c07108	fix rich console was not appending - fix #433	5 years ago
eladeyal	dcfa5122c7	python 2 compatibility	5 years ago
eladeyal-intel	92c16fd409	fix typo	5 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