If you can, and get it rolled out to the build machine, that would be
great. I just got bit again by this display issue.
Dave
Andrew Overholt wrote:
Nick, is there a way we can increase or at least seed that random
display picker so that it picks more random numbers. localhost:12
comes up quite a bit.
I could apply the attached if you like.
Andrew
------------------------------------------------------------------------
_______________________________________________
dash-dev mailing list
dash-dev@eclipse.org
https://dev.eclipse.org/mailman/listinfo/dash-dev
_______________________________________________
dash-dev mailing list
dash-dev@eclipse.org
https://dev.eclipse.org/mailman/listinfo/dash-dev
