194195196197198199200201202203204
concurrencyRule = new ParallelSearchPrevention(); searchJobs.put(editor, concurrencyRule); } search.setRule(concurrencyRule); search.setPriority(Job.LONG); search.schedule(1000); } /** * Returns the search corresponding to the active editor *