tree 411faf8971689e64fa60027b08e7761f47f07439
parent 93750cb63d31e0efaf69326a3274beda19a6ac86
author Stephan Wahlbrink <sw@wahlbrink.eu> 1621627449 +0200
committer Stephan Wahlbrink <sw@wahlbrink.eu> 1621692370 +0200

Bug 573707: [SourceEditor] Add ExtStyledText with workaround for
background color of console input

Change-Id: I99e611a5d36e16a330a90682499a2d8d940a8938