editorWidth static method

String editorWidth({
  1. String width = "",
})

Build a function which will change editor's width.

width is the new width of the editor. It's string to allow passing of different javascript variables.

Implementation

static String editorWidth({String width = ""}) => "$editorSelector.width($width);";