haiku / haikudepotserver

Haiku Depot Server

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Hide _source packages

diversys opened this issue · comments

I think it makes sense to hide *_source packages. Or even better: have an option to show them, then *_develop packages could also be hidden by default this way.

Hi @diversys ; How would you envisage this option appearing in the user interface?

Possibly could be added here?
image

Would that seem a bit strange as it is the selector for the repositories?

Maybe add another settings button next to search button? I guess users would rarely use it if at all...