Project specific div ids on ports.php for deep linking?

DISTRHO / DISTRHO-Ports

Linux audio plugins and LV2 ports

http://distrho.sourceforge.net/ports

261 stars 46 forks source link

Open mxmilkiib opened 4 years ago

mxmilkiib commented 4 years ago

If there were element ids like id="KlangFalter" then /ports.php#KlangFalter could be used to link directly to that part of the page.

falkTX commented 4 years ago

I will have to refactor the website a bit. that thing was made many years ago. this is planned for mid October.