142143144145146147148149150151152
this.readOnly = !this.isFactTypeKnown; } else { this.readOnly = readOnly; } this.connectives = new Connectives( mod, eventBus, pattern, this.readOnly ); layout.setWidget( 0,
143144145146147148149150151152153
148149150151152153154155156157158
144145146147148149150151152153154