Github user rmaucher commented on the issue:
https://github.com/apache/tomcat/pull/134
I'm not convinced by the use case, so I don't see why this one adds
something useful. Right-click + pageinfo wouldn't show the needed info ?--- --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
