upstream/ipython Files · IPython/html/static/base/less/mixins.less

prevent esc from bubbling up when dismissing tooltip...

prevent esc from bubbling up when dismissing tooltip prevents esc from entering command mode when it's meant to dismiss the tooltip. The logic for the event was already there, it just lacked the `ipkmIgnore` bit.

Jonathan Frederic - - Load All Authors

File last commit:

r16937:85c6f87f


                r20392:3e4ad768

Download file

             mixins.less
        
                    19 lines
            
             | 289 B
            
                | text/x-less
            
             |
                LessCssLexer
            
             / IPython / html / static / base / less / mixins.less
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      // Mixin CSS classes

      .border-box-sizing {

          box-sizing: border-box;

          -moz-box-sizing: border-box;

          -webkit-box-sizing: border-box;

      }

      .corner-all {

          border-radius: @border-radius-base;

      }

      .border-radius(@radius) {

        border-radius: @radius;

      }

      .no-padding {

          padding: 0px;

      }

	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

				// Mixin CSS classes

				.border-box-sizing {
				box-sizing: border-box;
				-moz-box-sizing: border-box;
				-webkit-box-sizing: border-box;
				}

				.corner-all {
				border-radius: @border-radius-base;
				}

				.border-radius(@radius) {
				border-radius: @radius;
				}

				.no-padding {
				padding: 0px;
				}