set dbtoolsmenu_items {
GuidoMenuItem table_stats {
-label "Table statistics"
-icon "icons/16/table_statistics.png"
-command server "TABLE STATISTICS"
}
GuidoSeparator sep1 {
}
GuidoMenuItem item5 {
-label "Drill hole layout"
-icon "icons/16/drill_hole_layout.png"
-command server "DRILL HOLE LAYOUT"
}
GuidoMenuItem item7 {
-label "Sample data"
-icon "icons/16/extract_sample_data.png"
-command server "EXTRACT SAMPLE DATA"
}
GuidoMenuItem item8 {
-label "Sample data within geology"
-icon "icons/16/extract_sample_data_within_geology.png"
-command server "EXTRACT SAMPLE DATA WITHIN GEOLOGY"
}
GuidoMenuItem item10 {
-label "Zone thickness and depth"
-icon "icons/16/zone_thickness.png"
-command server "ZONE THICKNESS"
}
}
GuidoMenu dbtoolsmenu {
-label "Database tools"
-delayed_script $dbtoolsmenu_items
}
