Dear all, I commited a fix to update display after pseudo-altering triggers. Dave: this might be ready for review...
Cheers, Jean-Michel
Dear all, I commited a fix to update display after pseudo-altering triggers. Dave: this might be ready for review...
Cheers, Jean-Michel