equal
deleted
inserted
replaced
27 |
27 |
28 val items1 = |
28 val items1 = |
29 if (evt != null && evt.getSource == text_area.getPainter) { |
29 if (evt != null && evt.getSource == text_area.getPainter) { |
30 val offset = text_area.xyToOffset(evt.getX, evt.getY) |
30 val offset = text_area.xyToOffset(evt.getX, evt.getY) |
31 if (offset >= 0) |
31 if (offset >= 0) |
32 Spell_Checker.context_menu(text_area, offset) ::: |
32 JEdit_Spell_Checker.context_menu(text_area, offset) ::: |
33 Debugger_Dockable.context_menu(text_area, offset) |
33 Debugger_Dockable.context_menu(text_area, offset) |
34 else Nil |
34 else Nil |
35 } |
35 } |
36 else Nil |
36 else Nil |
37 |
37 |