Enabled RichText in TextEntry, but no way to enter it yet.
TextEntry now understands and displays richtext when it is copied or
dragged into it. The buttons to create richtext are not there yet.
Description
Description
Details
Details
- Committed
Martin Küttler <martin.kuettler@gmx.de> Jun 23 2012, 6:50 PM - Parents
- R55:fba02def2eec: Small 'fix' for the crash in the Maxima backend.
- Branches
- Unknown
- Tags