documentation index ◦ reference manual ◦ function index
Function: | theme.image_labels | (d): |
Replaces labels with images. This takes a single parameter, d, which is expected to be a map from the text of a label to an image file.
init python hide: labels = dict() labels["Display"] = "theme/Display.png" labels["Transitions"] = "theme/Transitions.png" theme.image_labels(labels)