text: var StrokeWidthPicker, defineOptionsStyle;
  
  defineOptionsStyle = require('./optionsStyles').defineOptionsStyle;
  
  StrokeWidthPicker = require('../reactGUI/StrokeWidthPicker');
  
  defineOptionsStyle('stroke-width', StrokeWidthPicker);
  
  module.exports = {};
  