[Lazarus] getlazarus.org search request

[Anthony Walter]

Ryan, that is a good idea and I can absolutely add a search page that pulls
a string from RESTful query string and returns a friendly hyperlinked
summary of the most useful results. Also, I don't know if you know this,
but you can edit Lazarus settings to open up https://docs.getlazarus.org to
the appropriate page when you press F1 on any identifier in the code editor.

Tools -> Options -> Help -> Help Options
  set StartPage / BaseURL = https://docs.getlazarus.org/
  set RTLUnits / BaseURL = https://docs.getlazarus.org/rtl/
  set FCLUnits / BaseURL = https://docs.getlazarus.org/fcl/
  set LCLUnits / BaseURL = https://docs.getlazarus.org/lcl/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lazarus-ide.org/pipermail/lazarus/attachments/20190809/55b54a09/attachment.html>