Searched refs:DEFAULT_wxUSE_STARTUP_TIPS (Results 1 – 9 of 9) sorted by relevance
498 DEFAULT_wxUSE_STARTUP_TIPS=no722 DEFAULT_wxUSE_STARTUP_TIPS=yes
10992 wx_cv_use_tipdlg='wxUSE_STARTUP_TIPS='$DEFAULT_wxUSE_STARTUP_TIPS
11815 … wx_cv_use_tipdlg='wxUSE_STARTUP_TIPS=${'DEFAULT_wxUSE_STARTUP_TIPS":-$defaultval}"