layout_data = new GridData(GridData.FILL_HORIZONTAL);
layout_data.heightHint = 30;
file_size_slider.setLayoutData(layout_data);
file_size_slider.addModifyListener(new ExSliderModifyListener() {
public void downValueChanged(double downValue) {
updated_file_size = true;
DecimalFormat formatter = new DecimalFormat("0.00");