##// END OF EJS Templates
Creates a widget that will be the header of the menu in variable widget...
Creates a widget that will be the header of the menu in variable widget The header is a label that contains the variable name (if there is only one variable) or the number of variables (if several variables have been selected in the variable widget)
Alexandre Leroux -
r289:7ca994d5565d
Show More
Name Size Modified Last Commit Author
/ app
include
resources
src
ui
vera-exclusions
CMakeLists.txt Loading ...