Merge pull request from minrk/remote_profile_dir...

Merge pull request from minrk/remote_profile_dir trigger default remote_profile_dir when profile_dir is set n SSHLaunchers remote_profile_dir_default could be triggered before profile_dir was set, resulting in an empty remote_profile_dir, causing failures.

Min RK -


            r8664:a2229bbf

Name	Size	Modified	Last Commit	Author
/ IPython / frontend / html / notebook / static / codemirror
keymap
lib
mode
theme
LICENSE	Loading ...
README-IPython.rst	Loading ...
README.md	Loading ...
index.html	Loading ...
package.json	Loading ...

IPython/frontend/html/notebook/static/codemirror/README.md

CodeMirror 2

CodeMirror is a JavaScript component that provides a code editor in
the browser. When a mode is available for the language you are coding
in, it will color your code, and optionally help with indentation.

The project page is http://codemirror.net
The manual is at http://codemirror.net/doc/manual.html

	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