public void addStrokeSlider(){
		Container strokeContainer = new Container();
		strokeLabel.setBackground(drawings.getNextColor());
		strokeLabel.setText("Thickness: "+strokeThicknessFactor);
		strokeLabel.setOpaque(true);
		strokeThicknessSlider.addChangeListener(new ChangeListener(){

			@Override
			public void stateChanged(ChangeEvent arg0) {
				JSlider s = ((JSlider) arg0.getSource());
				if (s.getValueIsAdjusting()){
						if (selectedShape != null && selectedShape.isSelected()){
							selectedShape.setStrokeThicknessFactor(s.getValue());
							selectedShape.setHasChanged(true);
							strokeLabel.setText("Thickness: "+s.getValue());
							repaint();
						}
						else if (strokeThicknessFactor != s.getValue()){
							strokeThicknessFactor = s.getValue();
							strokeLabel.setText("Thickness: "+strokeThicknessFactor);
						
					}
				}				
			}
		});
		strokeContainer.setLayout(new GridBagLayout());
		GridBagConstraints gc = new GridBagConstraints();
		// stretch the widget horizontally and vertically
		gc.fill = GridBagConstraints.BOTH;
		gc.gridwidth = 1; // 1 grid cell wide
		gc.gridheight = 1; // 3 grid cells tall
		gc.weightx = 1; // the proportion of space to give this column
		gc.weighty = 0.5; // the proportion of space to give this row
		gc.gridy = 0;
		strokeContainer.add(strokeLabel,gc);
		gc.fill = GridBagConstraints.BOTH;
		gc.gridwidth = 1; // 1 grid cell wide
		gc.gridheight = 1; // 3 grid cells tall
		gc.weightx = 1; // the proportion of space to give this column
		gc.weighty = 0.5; // the proportion of space to give this row
		gc.gridy = 1;
		strokeContainer.add(strokeThicknessSlider,gc);
		menu.add(strokeContainer);
	}