avoid ooddity: invoke intended function instead of java.awt.Container.invalidate();
authorwenzelm
Wed Apr 16 14:16:22 2014 +0200 (2014-04-16 ago)
changeset 5660668b7a6db4a32
parent 56605 46313aafaf87
child 56607 ab7c656215f2
avoid ooddity: invoke intended function instead of java.awt.Container.invalidate();
src/Tools/jEdit/src/completion_popup.scala
     1.1 --- a/src/Tools/jEdit/src/completion_popup.scala	Wed Apr 16 13:48:35 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/completion_popup.scala	Wed Apr 16 14:16:22 2014 +0200
     1.3 @@ -254,7 +254,6 @@
     1.4              Font_Info.main_size(PIDE.options.real("jedit_popup_font_scale")))
     1.5  
     1.6          val range = result.range
     1.7 -        def invalidate(): Unit = JEdit_Lib.invalidate_range(text_area, range)
     1.8  
     1.9          val loc1 = text_area.offsetToXY(range.start)
    1.10          if (loc1 != null) {
    1.11 @@ -286,12 +285,12 @@
    1.12                  if (view.getKeyEventInterceptor == inner_key_listener)
    1.13                    view.setKeyEventInterceptor(null)
    1.14                  if (focus) text_area.requestFocus
    1.15 -                invalidate()
    1.16 +                JEdit_Lib.invalidate_range(text_area, range)
    1.17                }
    1.18              }
    1.19            completion_popup = Some(completion)
    1.20            view.setKeyEventInterceptor(completion.inner_key_listener)
    1.21 -          invalidate()
    1.22 +          JEdit_Lib.invalidate_range(text_area, range)
    1.23            completion.show_popup(false)
    1.24          }
    1.25        }