*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
*/
public class Preferences {
private final EventBus eventBus;
private final Option<Integer> insertionDelay =
*/
public class Preferences {
private final EventBus eventBus;
private final Option<Integer> insertionDelay =
range(50, MAX_VALUE), equalTo(-1)));
private final Option<Integer> postCutOffLength =
range(50, MAX_VALUE), equalTo(-1)));
private final Option<Integer> postCutOffLength =
public Preferences setInsertionDelay(Integer insertionDelay) {
this.insertionDelay.set(insertionDelay);
eventBus.post(new InsertionDelayChangedEvent(getInsertionDelay()));
public Preferences setInsertionDelay(Integer insertionDelay) {
this.insertionDelay.set(insertionDelay);
eventBus.post(new InsertionDelayChangedEvent(getInsertionDelay()));