5ef0c1dfd3
invoke css
11 years ago
fafd6ca305
Move new button group over one pixel
11 years ago
78f28a635b
Review comments
11 years ago
64f529d399
invoke css
12 years ago
f254cda663
Typo fix
12 years ago
96656a87e0
invoke css
12 years ago
d39311ccb5
Correct the padding of the new button group on the files page
12 years ago
db8cad5bff
invoke css
12 years ago
aebc1ac2c1
Adjust colors so they are the same
12 years ago
30a596b4df
Fix margins
12 years ago
cf0234d5f9
invoke css
12 years ago
bb0bc50cf3
Use bootstrap variable for table color
12 years ago
74fbcdfec2
invoke css
12 years ago
0159a2911d
Use less variable for header bg color
12 years ago
bc79ec0c75
invoke css after rebase
12 years ago
0cabf03343
Animated arrow icon
12 years ago
6007ef89fe
invoke css
12 years ago
070d9ace2e
Remove underline header collapse links
12 years ago
12fe7823ad
New Terminal into new new button
12 years ago
7c7da54699
invoke css
12 years ago
0b4d5e73b2
Decrease 2px bottom border to 1px
12 years ago
33d1bc2abe
Fix heading height
12 years ago
9f35ee6c7a
Use less for heading padding
12 years ago
d783812d9b
invoke css
12 years ago
06fe62fe96
Improved styling
12 years ago
808916762e
Remove terminals page of the dashboard,
...
move contents into running tab.
12 years ago
eb7d0b7e07
Use stop_on_error instead of skip_exceptions
12 years ago
2f50bf9980
Skip exceptions
12 years ago
9581e3e491
Reload list after creating a new folder in promises.
...
No need to reload session (I doubt creating a new folder create a
session), and does it once the creation drive promise return which make
the new directory appear in the listing for slow remote-backend (like
google drive)
12 years ago
0009fcc22b
Merge pull request #7456 from minrk/change-not-dead
...
Don't show kernel-dead on manually shutdown kernel
12 years ago
510c883728
Don't show kernel-dead on manually shutdown kernel
...
When there is no kernel, show 'No kernel',
and set kernel-busy instead of showing read dead and bomb.
This is different from kernel-dead
12 years ago
0aedf1658f
Merge pull request #7417 from Carreau/logominpad
...
rework css media-query (and lots of css fixes)
12 years ago
e6fd916ce7
Merge pull request #7474 from mathieu1/tooltip-prevent-default
...
Prevent page jump on tooltip actions
12 years ago
851be20367
Merge pull request #7458 from minrk/superfluous-prevent-default
...
remove superfluous event.preventDefault
12 years ago
eba94f4e0b
remove superfluous event.preventDefault
...
from #7416
only one of the additions from that PR was necessary to address the issue
12 years ago
411a08bf09
rework css media-query
...
fixes #7355
Also limit the number of query "jump", and use variables.
In particular there was a container width discontinuity at 768 pixel
where below 768 container width is 100% and "only" 720px on wider
screen, making a jump.
So now Css media query have 3 breakpoints:
- <540 px with (aka -no name-)
- colapsed menubar
- vbox for prompt
- 100% width container
- 540 -> 767 (aka -xs- )
- expand menubar
- hbox fro prompt
- 767 -> 991 (aka -sm-)
- show save widget
- fix width (768px)
- 991+ (aka -md-)
- extra save widget info (date time)
- fix with of 991 px.
- 1200+ (aka -lg-)
- widht of 1200px.
of course we've set soem variable wrongly so this is still kinda-a-hack
as we shoudl have pushed the xs-sm limit lower instead of pushing the
nothing-xs limit up but I don't want to "fix it" now.
12 years ago
4021e9d487
Do not leave toolbar element focused.
...
Can lead to enter re-trigerring them
(ok, can be a feature sometimes I guess)
closes #7475
12 years ago
8936122110
prevent page jump on tooltip actions\n\nExpands the fix of #7367 to tooltip buttons
12 years ago
b7bdfa715c
Merge pull request #7444 from minrk/toggle-header-bar
...
hide header-bar when header is hidden
12 years ago
e2d809222c
Merge pull request #7460 from minrk/kernel-indicator
...
set kernel-busy on kernel_created
12 years ago
d9303c8a14
Merge pull request #7470 from minrk/pager-straight-down
...
hide pager straight down
12 years ago
1eb04fd583
Merge pull request #7438 from minrk/auto_highlight
...
move auto_highlight to Cell
12 years ago
8b8437c4cc
Merge pull request #7443 from minrk/bold-is-always-broken
...
force Terminal.brokenBold=True
12 years ago
c84a35da64
Merge pull request #7455 from minrk/new-notebook
...
fix new-notebook and change-kernel menus
12 years ago
7479bf26e8
hide pager straight down
...
instead of shrinking into the corner
12 years ago
81f9f1b7f5
Merge pull request #7462 from minrk/rm-override
...
remove tree override.css
12 years ago
5f08e50830
discard invalid stream output
...
If a stream output is missing text,
log an error and discard the broken message
so it doesn't get into the notebook.
12 years ago
e769c2c99e
remove tree override.css
12 years ago
015b68e7b4
Merge pull request #7413 from Carreau/end_Space
...
fix end_space size
closes #7409
closes #7372
12 years ago
01da342708
set kernel-busy on kernel_created
...
rather than waiting for kernel_starting, which is only after kernel exists, but before connection is available
12 years ago
Jonathan Frederic
Jonathan Frederic
Juergen Hasch
Juergen Hasch
Matthias Bussonnier
Thomas Kluyver
Min RK
Mathieu