Add tooltip, and fix small layout glitch.
Description
Description
Details
Details
- Committed
tfry Mar 12 2016, 12:31 PM - Parents
- R5:4c6b577cbc90: Add option to override CSS file used for the output window.
- Branches
- Unknown
- Tags
tfry | Mar 12 2016, 12:31 PM |