Advertisement
Guest User

Untitled

a guest
Jun 27th, 2019
78
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.38 KB | None | 0 0
  1. [gui]
  2. tabsize = 4
  3.  
  4. catch {$ui_diff configure -tabstyle wordprocessor}
  5.  
  6. catch {$ui_diff configure -tabs "[expr {4 * [font measure $font 0]}]" -tabstyle wordprocessor}
  7.  
  8. catch {$ui_diff configure -tabstyle wordprocessor}`
  9.  
  10. catch {$ui_diff configure -tabs "[expr {[get_config gui.tabsize] * [font measure font_diff 0]}] left" -tabstyle wordprocessor}
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement