documentation indexreference manualfunction index

theme.image_labels

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)

documentation indexreference manualfunction index