Paul, What about the bookmarklet?. Is out working in your setup?
On Thu, Apr 15, 2021, 09:56 Paul Robinson <ukcue...@gmail.com> wrote: > I used the built in Jetty server until a year or so ago. Occasionally I > have to use the older version in development as we haven't upgraded > everybody in production to the new version yet. > > From a development perspective, I find running a separate code server and > Jetty to be much more productive. > > Whenever I need to restart, it's usually only Jetty I need to restart, and > it's much faster to not restart the code server part as well. > > So there may be an extra step, but I'm much happier with it this way. > > Paul > > -- > You received this message because you are subscribed to the Google Groups > "GWT Contributors" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to google-web-toolkit-contributors+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/google-web-toolkit-contributors/CAGHNWN%2BYgug5qMirEg-6fDC1Lyj6xvsh7VHBJ4xdicq1UwPOAA%40mail.gmail.com > <https://groups.google.com/d/msgid/google-web-toolkit-contributors/CAGHNWN%2BYgug5qMirEg-6fDC1Lyj6xvsh7VHBJ4xdicq1UwPOAA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "GWT Contributors" group. To unsubscribe from this group and stop receiving emails from it, send an email to google-web-toolkit-contributors+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/google-web-toolkit-contributors/CAKbOjEyDaFzcK1hiKd_L4Oux1CYng1LHDsEimaXjX2jH91zdBw%40mail.gmail.com.
