repo.or.cz
/
pipeglade.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Improve and document previously undocumented ping command
[pipeglade.git]
/
widget-examples
/
expander.txt
blob
0c54bbcb1ae8df8f1f5fcff6dbaa96d90c091e9f
1
expander1:force
2
3
# trying to overcome a timing problem:
4
main:set_visible 0
5
main:set_visible 1
6
7
main:snapshot gh-pages/GtkExpander.svg
8
_:main_quit