##// END OF EJS Templates
re-hook notification area for editor....
re-hook notification area for editor. - re-order element to be the same as in notebook, - rename events correctly. - Add event on savign to show that save is in progress, that get dismissed on file save Closes #7569

File last commit:

r11033:fa36e98f
r20149:1bf09c8a
Show More
logout.less
2 lines | 34 B | text/x-less | LessCssLexer
// Custom styles for logout.html