Make the override panel prettier and prevent the default extruder setting from being deleted since it can't be readded manually

This commit is contained in:
Alessandro Ranellucci 2014-03-23 15:18:08 +01:00
parent bf8c388568
commit d75417601e
3 changed files with 29 additions and 13 deletions

View file

@ -173,6 +173,8 @@ class PrintConfigDef
Options["extruder"].type = coInt;
Options["extruder"].label = "Default extruder";
Options["extruder"].category = "Extruders";
Options["extruder"].tooltip = "The extruder to use (unless more specific extruder settings are specified).";
Options["extruder"].cli = "extruder=i";
Options["extruder"].min = 1;
Options["extruder"].shortcut.push_back("infill_extruder");