upstream/ipython Files · IPython/html/static/edit/less/menubar.less

Fix race condition in javascript kernel message processing...

Fix race condition in javascript kernel message processing Because the binary messages are now deserialized using the asynchronous FileReader API, we need to have some way to force the messages to still be processed in the order they are received. This patch implements a simple processing queue using promises.

Bussonnier Matthias - - Load All Authors

File last commit:

r20149:1bf09c8a


                r20441:834cd9c4

Download file

             menubar.less
        
                    26 lines
            
             | 433 B
            
                | text/x-less
            
             |
                LessCssLexer
            
             / IPython / html / static / edit / less / menubar.less
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      .selected-keymap {

        i.fa {

          padding: 0px 5px;

        }

        i.fa:before {

          content: @fa-var-check;

        }

      }

      #mode-menu {

        // truncate mode-menu, so it doesn't get longer than the screen

        overflow: auto;

        max-height: 20em;

      }

      .edit_app {

        #header {

          .box-shadow(@global-shadow);

        }

        #menubar .navbar {

          /* Use a negative 1 bottom margin, so the border overlaps the border of the

          header */

          margin-bottom: -1px;

        }

      }

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

				.selected-keymap {
				i.fa {
				padding: 0px 5px;
				}
				i.fa:before {
				content: @fa-var-check;
				}
				}

				#mode-menu {
				// truncate mode-menu, so it doesn't get longer than the screen
				overflow: auto;
				max-height: 20em;
				}

				.edit_app {
				#header {
				.box-shadow(@global-shadow);
				}

				#menubar .navbar {
				/* Use a negative 1 bottom margin, so the border overlaps the border of the
				header */
				margin-bottom: -1px;
				}
				}