feat: Added filtering by optional tags in the main page. Created TagFilter component for modularisation.

Co-Authored By: Caspar Asaam <caspar@dyn3159-95.wlan.ic.ac.uk>
2025-06-10 05:24:15 +01:00
parent b727665238
commit 19d451fa8e
3 changed files with 258 additions and 4 deletions
--- a/src/lib/index.ts
+++ b/src/lib/index.ts
@@ -24,3 +24,5 @@ export const availableStudySpaceTags = [
 export const volumeTags = ["Silent", "Quiet", "Some Noise", "Loud"];
 export const wifiTags = ["Good WiFi", "Moderate WiFi", "Bad WiFi", "No WiFi"];
 export const powerOutletTags = ["Many Outlets", "Some Outlets", "No Outlets"];
+
+export const allTags = [...availableStudySpaceTags, ...volumeTags, ...wifiTags, ...powerOutletTags]