search

mabe02 / lanterna

Java library for creating text-based GUIs
GNU Lesser General Public License v3.0
2.27k stars 242 forks source link

reconcile window.getDecoratedSize() & window.getSize() #496

Closed ginkoblongata closed 4 years ago

ginkoblongata commented 4 years ago

After WindowManager.prepareWindow()

Should the size be set?

What is the size?

Should size return decorated size when null?

mabe02 commented 4 years ago

Please check the Javadoc on DefaultWindowManager#prepareWindow, I think that answers your question