134135136137138139140141142143144
this.readOnly = !mod.getSuggestionCompletions().containsFactType( this.pattern.getFactType() ); } else { this.readOnly = readOnly; } this.connectives = new Connectives( mod, eventBus, pattern, this.readOnly ); layout.setWidget( 0,
136137138139140141142143144145146
this.readOnly = !this.isFactTypeKnown; } else { this.readOnly = readOnly; } this.connectives = new Connectives( mod, eventBus, pattern, this.readOnly ); layout.setWidget( 0,
131132133134135136137138139140141