PaulStoffregen 2f5d57d586 GUI: use div for tooltip info, fixes #148 | pirms 9 gadiem | |
---|---|---|
.. | ||
touch | pirms 10 gadiem | |
editor.js | pirms 9 gadiem | |
keyboard.js | pirms 10 gadiem | |
library.js | pirms 9 gadiem | |
notifications.js | pirms 10 gadiem | |
palette.js | pirms 9 gadiem | |
sidebar.js | pirms 10 gadiem | |
state.js | pirms 10 gadiem | |
tab-config.js | pirms 10 gadiem | |
tab-info.js | pirms 9 gadiem | |
tabs.js | pirms 10 gadiem | |
view.js | pirms 9 gadiem |