##// END OF EJS Templates
Changed selection widget API to use labels list...
Changed selection widget API to use labels list for mapping custom str reprs to items in the selection list
Jonathan Frederic -
r14709:eab8dac4
Show More
Name Size Modified Last Commit Author
/ IPython / html / notebook
__init__.py Loading ...
handlers.py Loading ...