Lines Matching full:pointing

257 # Number of arrows pointing up/down to draw when a window is scrolled
404 # Obscure Python: We never pass a value for rgb2index, and it keeps pointing to
636 # pointing to the same dict. This avoids a global.
1005     # Separator below menu path, with title and arrows pointing up
1012     # Row below menu list, with arrows pointing down
1348     # Draw arrows pointing up if the symbol window is scrolled down. Draw them
1394     # Draw arrows pointing down if the symbol window is scrolled up
2038     # Bottom separator, with arrows pointing down
2210 # Obscure Python: We never pass a value for cached_nodes, and it keeps pointing
2333     # Draw arrows pointing down if the symbol list is scrolled up
2359     # Draw arrows pointing up if the symbol list is scrolled down
2388     # Bottom separator, with arrows pointing down
2508     # Draw arrows pointing down if the symbol window is scrolled up
2531     # Draw arrows pointing up if the information window is scrolled down. Draw