##// END OF EJS Templates
for downloads, replaced window.open with window.location.assign...
for downloads, replaced window.open with window.location.assign This doesn't actually open a new windows, so it's a bit nicer. Not very important, though. Source: [StackOverflow](http://stackoverflow.com/questions/1066452/easiest-way-to-open-a-download-window-without-navigating-away-from-the-page)
Yoav Ram -
r8870:e5cc2648
Show More
Name Size Modified Last Commit Author
/ ... / notebook / static / codemirror / mode / go
go.js Loading ...
index.html Loading ...