Ian Gilman 033ae50793 + font size for tab names now scales properly ... + tabs now return to their proper size when you pull them out of a group + you can now nest groups inside of other groups (though all of the funky repercussions haven't been sorted out yet)		2010-03-31 17:24:16 -07:00
..
jquery.js	+ Grouping now works in the original candy	2010-03-09 15:46:39 -08:00
mirror.js	+ font size for tab names now scales properly	2010-03-31 17:24:16 -07:00
stacktrace.js	+ Got rid of Utils.logger and replaced it with Utils.log, Utils.trace and Utils.error	2010-03-03 17:21:44 -08:00
tabs.js	+ Cleaned up various close and remove routines (the close group feature wasn't working properly)	2010-03-30 11:05:53 -07:00
utils.js	+ font size for tab names now scales properly	2010-03-31 17:24:16 -07:00