Change hash when switching errors identifiers group-by

phpstan · May 9, 2024 · fd53b6e · fd53b6e
1 parent 80b46e3
commit fd53b6e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/website/src/js/ErrorIdentifiersViewModel.ts b/website/src/js/ErrorIdentifiersViewModel.ts
@@ -95,10 +95,12 @@ export class ErrorIdentifiersViewModel {
 
 	switchToIdentifier() {
 		this.groupByIdentifier(true);
+		window.history.replaceState({}, '', '#gbi-');
 	}
 
 	switchToRule() {
 		this.groupByIdentifier(false);
+		window.history.replaceState({}, '', '#gbr-');
 	}
 
 }