Function createToolbar

test/manual/index.js:113–186

(editor)

	}

	function createToolbar(editor) {
		var bar = document.getElementById('bar');

		bar.appendChild(examplesComboBox.domNode);

		bar.appendChild(modesComboBox.domNode);

		bar.appendChild(themesComboBox.domNode);

		bar.appendChild(
			createButton('Dispose all', function (e) {
				editor.dispose();
				editor = null;
				if (model) {
					model.dispose();
					model = null;
				}
			})
		);

		bar.appendChild(
			createButton('Remove Model', function (e) {
				editor.setModel(null);
			})
		);

		bar.appendChild(
			createButton('Dispose Model', function (e) {
				if (model) {
					model.dispose();
					model = null;
				}
			})
		);

		bar.appendChild(
			createButton(
				'Ballistic scroll',
				(function () {
					var friction = 1000; // px per second
					var speed = 0; // px per second
					var isRunning = false;
					var lastTime;
					var r = 0;

					var scroll = function () {
						var currentTime = new Date().getTime();
						var ellapsedTimeS = (currentTime - lastTime) / 1000;
						lastTime = currentTime;

						speed = speed - friction * ellapsedTimeS;
						r = r + speed * ellapsedTimeS;
						editor.setScrollTop(r);

						if (speed >= 0) {
							requestAnimationFrame(scroll);
						} else {
							isRunning = false;