That looks fun, +1
I considered if it could be more easily discoverable if a space separator
was used; but the result was less clear.
--
Jody Garnett
On Fri, Apr 26, 2024 at 8:26 AM Alessandro Ricchiuti <
alessandro.ricchi...@geosolutionsgroup.com> wrote:
> Hello, GeoServer Community.
>
> I am
Hello, GeoServer Community.
I am writing to propose a modification to the GeoServer web interface that
I believe would enhance the user experience and improve usability.
The goal is to extend the search functionality within GeoServer pages by
introducing a specific feature that could help to bett
Aaah yep, it's a big one for sure PMD upgrade to version 7. They
rewrote the java scanner
and it's not much better at finding violations.
441 files modified in the PR so far, quite a bit of modules not yet reached
by the build, and this is the
current output:
Error: 0,053 [ERROR] Failed to ex
Hi,
https://github.com/geoserver/geoserver/pull/7577 turns out to be much
more work than anticipated, unfortunately I've no run out of time due to
upcoming holidays, so this PR will stall from my side for a couple of
weeks.
Anyone willing to spend some time on it is quite welcome 🤣
If not I wi