ROBLOX/Core-Scripts — pull request #7 by einsteinK (2014-04-23 19:38:01+00:00)
Title: [LagFix] Some other stuff & lag fix

- Made some stuff more efficient (20x waitForChild() for one object isn't really efficient...)
(even if it's now doing the same, but in one much cleaner function)

- Added a refreshQueue to the developer console, limiting refreshTextHolder()
It now refreshes the holder every 0.1s if needed to, limiting a lot of lag,
especially when serverlog is getting requested for creator or the local one is getting loaded.
(The old) refreshTextHolder() (now refreshTextHolderForReal) is one of the most intensive
functions of the console, "rendering" the whole console with all messages.
Whenever there is output getting spammed for some reason, it would refresh
the list for every message, creating a lot of lag, surely for slow computers.
Now when for example 50x something gets added to the output in one tick, it'll queue
the refreshTextHolder() so it'll fire after 0.1s, thuss once for 50+ output messages.
With the old system it would have refreshed the holder 50x time in one single tick (=> lagg)

- devConsoleButton.MouseButton1Click has been edited that whenever you press the Log-button in
the Help section of the menu, it'll resume the game, aka hide the menu.
Currently whenever you press the button, it exists the help section to the main menu.

- Doubleclicking the titleBar of the devConsole (same used to move it) will
tween the console to it's default position and size

(Small note: ConvertTimeStamp's local variable 'str' is outside, as it is a constant now