src/Tools/jEdit/src/rich_text_area.scala

   }
 
 
   /* text */
 
+  private def caret_enabled: Boolean =
+    caret_visible && (!text_area.hasFocus || text_area.isCaretVisible)
+
   private def caret_color(rendering: Rendering): Color =
   {
     if (text_area.isCaretVisible)
       text_area.getPainter.getCaretColor
     else rendering.caret_invisible_color

     val clip_rect = gfx.getClipBounds
     val painter = text_area.getPainter
     val font_context = painter.getFontRenderContext
 
     val caret_range =
-      if (caret_visible) JEdit_Lib.point_range(buffer, text_area.getCaretPosition)
+      if (caret_enabled) JEdit_Lib.point_range(buffer, text_area.getCaretPosition)
       else Text.Range(-1)
 
     var w = 0.0f
     var chunk = head
     while (chunk != null) {

       screen_line: Int, physical_line: Int, start: Int, end: Int, y: Int)
     {
       robust_rendering { rendering =>
         if (caret_visible) {
           val caret = text_area.getCaretPosition
-          if (start <= caret && caret == end - 1) {
+          if (caret_enabled && start <= caret && caret == end - 1) {
             val painter = text_area.getPainter
             val fm = painter.getFontMetrics
             val metric = JEdit_Lib.pretty_metric(painter)
 
             val offset = caret - text_area.getLineStartOffset(physical_line)