modal-export.html

<div class="modal" id="modal-export" tabindex="-1" role="dialog" aria-labelledby="modal-title" aria-hidden="true">
	<div class="modal-dialog" role="document">
		<div class="modal-content">
			<div class="modal-header">
				<button type="button" class="close" data-dismiss="modal" aria-label="Close" title="Close"><span aria-hidden="true">×</span></button>
				<h4 class="modal-title" id="modal-title">Export</h4>
			</div>
			<div class="modal-body">
				<h4>File</h4>
				<p>This will export the active file as an MD file. You can rename the file.</p>
				<div class="input-group">
					<input class="form-control" type="text" id="export-file-name" placeholder="Enter file name">
					<span class="input-group-addon">.md</span>
					<span class="input-group-btn"><button class="btn btn-default" id="btn-export-file">export</button></span>
				</div>
				<hr>
				<h4>Workspace</h4>
				<p>This will export the entire workspace (currently has <span id="workspace-file-count">? files</span>) as a JSON file. You can later import this workspace using the JSON file.</p>
				<div class="input-group">
					<input class="form-control" type="text" id="export-workspace-name" placeholder="Enter file name">
					<span class="input-group-addon">.json</span>
					<span class="input-group-btn"><button class="btn btn-default" id="btn-export-workspace">export</button></span>
				</div>
			</div>
		</div>
	</div>
</div>