Steve Nyemba 6658b50c80 bug fix: modal dialog should be removed		11 months ago
..
404.html	oops	12 months ago
content.html	bug fixes and better handling of plugins	2 years ago
dialog.html	bug fix: modal dialog should be removed	11 months ago
footer.html	initial code	3 years ago
header.html	bug fixes: enabling sharing features that would allow smaller footprint	12 months ago
index.html	bug fixes: enabling sharing features that would allow smaller footprint	12 months ago
menu.html	bug fixes: context handling	12 months ago
none.html	initial code	3 years ago
pane.html	bug fixes: links in markdown documents	1 year ago
workspace.code-workspace	initial code	3 years ago