sliderWidthPerc = 75;
}
}
int sliderWidth = 100; // fixme
int inputWidth = 50; // fixme;
if (style != null && style.containsKey("width")) {
width = style.getInt("width");
}
if (width >= 0) {
sliderWidth = (width * sliderWidthPerc) / 100;
inputWidth = (width * (100 - sliderWidthPerc)) / 100;