173
173
myDebuggerHeightSlider = new SliderWidget(myTab, font, xpos, ypos, pwidth,
174
174
lineHeight, "Debugger Height: ",
175
175
lwidth, kDHeightChanged);
177
177
myDebuggerHeightSlider->setMaxValue(1200);
178
178
myDebuggerHeightSlider->setStepValue(10);
179
179
wid.push_back(myDebuggerHeightSlider);