src/Tools/jEdit/src/completion_popup.scala

     {
       Swing_Thread.require {}
 
       val buffer = text_area.getBuffer
       val range = item.range
-      if (buffer.isEditable && range.length > 0) {
+      if (buffer.isEditable) {
         JEdit_Lib.buffer_edit(buffer) {
           JEdit_Lib.try_get_text(buffer, range) match {
             case Some(text) if text == item.original =>
               text_area.getSelectionAtOffset(text_area.getCaretPosition) match {
 

     private def insert(item: Completion.Item)
     {
       Swing_Thread.require {}
 
       val range = item.range
-      if (text_field.isEditable && range.length > 0) {
+      if (text_field.isEditable) {
         val content = text_field.getText
         JEdit_Lib.try_get_text(content, range) match {
           case Some(text) if text == item.original =>
             text_field.setText(
               content.substring(0, range.start) +