Erik Ziegler 4721400b34 Updates to save viewport data across sessions / while switching tabs		2015-10-23 14:08:51 +02:00
..
components	Updates to save viewport data across sessions / while switching tabs	2015-10-23 14:08:51 +02:00
lib	Work towards tabbed panels. Still very broken	2015-10-15 15:05:41 +02:00
package.js	Updates to save viewport data across sessions / while switching tabs	2015-10-23 14:08:51 +02:00