##// END OF EJS Templates
fix border radius on element....
fix border radius on element. set a value to border-radius large, and actually make border radius small smaller than border radius large. Make dialog border radius coherent with the rest of the UI.
Matthias Bussonnier -
r19716:3cc62b6a
Show More
Name Size Modified Last Commit Author
/ IPython / parallel / client
__init__.py Loading ...
asyncresult.py Loading ...
client.py Loading ...
magics.py Loading ...
map.py Loading ...
remotefunction.py Loading ...
view.py Loading ...