()
| 404 | /// The text selection support for this form. |
| 405 | /// |
| 406 | public TextSelection getTextSelection() { |
| 407 | if (textSelection == null) { |
| 408 | textSelection = new TextSelection(getContentPane()); |
| 409 | } |
| 410 | return textSelection; |
| 411 | } |
| 412 | |
| 413 | /// Checks if custom cursors are enabled on this form. They are turned off by default since |
| 414 | /// they incur some overhead. |