Tag: terrible names

Yep, these are all pretty unfortunate.  If you're in this one, you might want to think about changing your name. if(window.proper_display) { ...