Paul Davis 09c7c5fb95 tweak API of WindowProxy, and remove all unnecessary get() calls in functions where, if we have no window, there is nothing to do

2013-10-14 09:54:38 -04:00

8.9 KiB

Raw Blame History

View Raw