Lines Matching defs:width
449 protected $table_linenumber_style = 'width:1px;text-align:right;margin:0;padding:0 2px;vertical-align:top;';
810 * means more source code but more control over tab width and line-wrapping.
1347 * @param int $width The tab width
1350 public function set_tab_width($width) {
1351 $this->tab_width = intval($width);
1361 * Sets whether or not to use tab-stop width specifed by language
1371 * Returns the tab width to use, based on the current language and user
1374 * @return int Tab width
4005 // Have to use divs so the full width of the code is highlighted