Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
fullscreen toggle for Jelly Bean devices #5088
Might be useless in your context of fixing screen geometry, but it could be useful in other contexts :)
So, I don't know. Do you really need to get rid of it so current users who had it to tweak viewport don't go mess with your latest changes?
A half approach would be renaming patch.lua to runtime.lua, so old users who added fancy things there can rename their patch file and users who added things to workaround screen.height can forget about it.
What do you think?