From a57c1da183c22ec6fb71fe550a6049296d63be3e Mon Sep 17 00:00:00 2001 From: Paulb23 Date: Mon, 11 Jul 2016 15:39:46 +0100 Subject: [PATCH] Update textedit docs with colors, show line number and highlight all occurences --- doc/base/classes.xml | 40 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) diff --git a/doc/base/classes.xml b/doc/base/classes.xml index 91c768ef42c..ae5438c430f 100644 --- a/doc/base/classes.xml +++ b/doc/base/classes.xml @@ -39408,6 +39408,34 @@ Set the color for symbols. + + + + + Set to enable showing line numbers. + + + + + + + Returns true if line numbers are enabled. + + + + + + + Set to enable highlighting all occurrences of the current selection. + + + + + + + Returns true if highlight all occurrences is enabled. + + @@ -39489,6 +39517,8 @@ + + @@ -39509,18 +39539,28 @@ + + + + + + + + + +