##// END OF EJS Templates
HighlightMagics: merge default languages with the user config languages...
HighlightMagics: merge default languages with the user config languages * When configuring HighlightMagics, instead of replacing fully the language dict by the user provided one, we merge both.
Pablo de Oliveira -
r12575:7e0005c0
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 ...