Open Vampire opened 3 years ago
Is there a reason the gfma browser tool window is not usable while indexes are rebuilt? I guess this is simply the default in case a plugin needs the indexes unless it explicitly opts out of this.
Is there a reason the gfma browser tool window is not usable while indexes are rebuilt? I guess this is simply the default in case a plugin needs the indexes unless it explicitly opts out of this.