Min RK
|
4335486bdc
|
Merge pull request #7263 from takluyver/nb-common-config
Add common config section for frontend config
|
11 years ago |
|
Min RK
|
d48210701f
|
force Terminal.brokenBold=True
bold always seems broken
|
11 years ago |
Matthias Bussonnier
|
f51872c4c2
|
Merge pull request #7346 from jdfreder/terminal-page
Use page backdrop color in terminal page
|
11 years ago |
Jonathan Frederic
|
f0da3c863c
|
Make headerbar -1 margin global
|
11 years ago |
Jonathan Frederic
|
8ff7381ef3
|
Remove superfluous body tag from terminal less
|
11 years ago |
|
Jonathan Frederic
|
7b602f07cc
|
Use page backdrop with the terminal
|
11 years ago |
|
Matthias Bussonnier
|
4e2dfe2527
|
Some code cleanup in javascript and python
change patern that are prone to error, like function redifinition
and other.
|
11 years ago |
|
Jonathan Frederic
|
7926c36b0d
|
Remove right margin from the terminal
|
11 years ago |
|
Jonathan Frederic
|
972065ad22
|
Additional aesthetic clean-up
|
11 years ago |
|
Jonathan Frederic
|
94a893d975
|
Prevent terminal from scrolling
|
11 years ago |
|
Jonathan Frederic
|
fbc2adf2d5
|
Make things consistent
|
11 years ago |
|
Jonathan Frederic
|
726c95cbff
|
Address review comments
|
11 years ago |
|
Jonathan Frederic
|
79fe99d124
|
Make terminal pretty
|
11 years ago |
|
Jonathan Frederic
|
3969f0ec84
|
Move terminal less into better location
|
11 years ago |
Thomas Kluyver
|
0c3c3b3c79
|
Fix instantiating config in editor and terminal
|
11 years ago |
|
Thomas Kluyver
|
01331514bd
|
Load common_config, and load extensions specified therein
|
11 years ago |
|
Thomas Kluyver
|
8917e9951e
|
Move terminal CSS into LESS file
|
11 years ago |
|
Thomas Kluyver
|
d352d52bd8
|
Add comment explaining 1.02 factor
|
11 years ago |
|
Bussonnier Matthias
|
1b200e5504
|
recompute dummy size dynamically + styling in css
|
11 years ago |
|
Thomas Kluyver
|
9c0084e615
|
Multiple terminals and conditional initialisation
|
11 years ago |
|
Thomas Kluyver
|
d4676bf2ad
|
Terminal basically working
Still need to deal with things like authentication
|
11 years ago |
|
Thomas Kluyver
|
d211ebf067
|
Basic infrastructure for terminal page
|
11 years ago |
