Tillføj mulighed for at filtrere udtræk med fire ts hts/gnss

[krebslw]

For nu kan man enten søge på:

• tidsseriens fulde navn (skal være stavet rigtigt, inkl. store/små bogstaver, specialtegn etc.)
• punkt ident. I så fald får man vist alle det fundne punkts tidsserier

Hvis man udelader at søge på noget får man vist en liste over ALLE tilgængelige tidsserier. Dette giver mening med GNSS-tidsserier, da der ikke er så mange i databasen endnu, men for Højdetidsserier som der er ca. 3000 af, giver det ikke mening at få vist alle 3000 på skærmen.

Derfor er dette slået fra for fire ts hts. Som erstatning bør der derfor laves en mulighed for at lave en simpel filtrering af højdetidsserierne som er lidt mere flexibel. Se diskussionen her: #779 (comment)