equal
deleted
inserted
replaced
362 messages = JavacMessages.instance(context); |
362 messages = JavacMessages.instance(context); |
363 messages.add(Main.javacBundleName); |
363 messages.add(Main.javacBundleName); |
364 |
364 |
365 final Options options = Options.instance(context); |
365 final Options options = Options.instance(context); |
366 initOptions(options); |
366 initOptions(options); |
367 options.addListener(new Runnable() { |
367 options.addListener(() -> initOptions(options)); |
368 @Override |
|
369 public void run() { |
|
370 initOptions(options); |
|
371 } |
|
372 }); |
|
373 } |
368 } |
374 // where |
369 // where |
375 private void initOptions(Options options) { |
370 private void initOptions(Options options) { |
376 this.dumpOnError = options.isSet(DOE); |
371 this.dumpOnError = options.isSet(DOE); |
377 this.promptOnError = options.isSet(PROMPT); |
372 this.promptOnError = options.isSet(PROMPT); |