9 commits

Author	SHA1	Message	Date
Nick Winter	f87c3a37e8	More progress on debugger.	2014-01-19 09:14:42 -08:00
Nick Winter	0a8d64046a	Starting work on time-travel debugging interface.	2014-01-19 07:08:28 -08:00
Nick Winter	af7344175a	Merged and tweaked phansch's save indicator from #205.	2014-01-16 10:10:27 -08:00
Philipp Hansch	ff5807adb8	New i18n tag	2014-01-16 13:37:52 +01:00
Philipp Hansch	17afb62dc9	Add basic code-saved indicator ... Using the tome:spell-changed callback to determine when to start showing the code-saved indicator	2014-01-15 20:58:39 +01:00
Nick Winter	1041ce4b17	Added GitHub stars button.	2014-01-13 18:19:28 -08:00
Scott Erickson	8077c62ceb	Set up talking portraits in the hud.	2014-01-09 11:04:22 -08:00
Ronald Cheng	3658d5ca3a	Make G+ button same size as other buttons ... The default G+ button size is slightly larger than the Facebook and Twitter buttons. Use the "medium" size to make the size even.	2014-01-08 02:15:52 -08:00
Nick Winter	6009df26de	Ready for action, sir!	2014-01-03 10:32:13 -08:00