9 Commits

Author	SHA1	Message	Date
wmayer	b626b7d719	Gui: Optimize includes to reduce compile time	2022-03-09 01:25:29 +01:00
Uwe	8f4053e31d	[Gui] ViewProviderPython* etc.: remove unused includes	2022-03-06 02:24:52 +01:00
wmayer	d6169d6478	boost: fix for boost < 1.60	2020-06-15 19:38:39 +02:00
wmayer	730154a684	boost 1.73.0: The practice of declaring the Bind placeholders (_1, _2, ...) in the global namespace is deprecated	2020-06-12 17:51:33 +02:00
wmayer	17e0697c5e	Gui: improve usability of text document object	2020-03-17 11:36:03 +01:00
wmayer	b0ca5f3e3b	Gui: [skip ci] use defined font when creating text editor	2019-12-20 12:41:24 +01:00
wmayer	9746106740	Gui: allow to set font family and size and syntax highlighting	2019-12-19 23:17:46 +01:00
wmayer	0388fa4bf9	fix inconsistencies between default action of context menu and double-click	2018-09-10 17:32:39 +02:00
Markus Hovorka	f9f2d8c31b	Add TextDocument with full size editor ... A new document object App::TextDocument. It has a property Text which holds the text of the document as a string. This commit also contains a full size editor based on QPlainTextEdit. It can only be used by the TextDocument and has a read only mode invoked for read only documents (ReadOnly property set to true). The editor is invoked by a double click on the TextDocument.	2017-07-04 19:36:10 +02:00