Dot width: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
m (Added to Settings category) |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
==Overview== | ==Overview== | ||
This setting defines the size of the dots, in pixels, in the dots | This setting defines the size of the dots, in pixels, in the dots representation. | ||
==Syntax== | ==Syntax== | ||
| Line 7: | Line 7: | ||
set dot_width=''int'' | set dot_width=''int'' | ||
''int'' is any integer, default is | Where ''int'' is any integer, default is 1 pixel. | ||
==Example== | ==Example== | ||
set dot_width=4 | <source lang="python">set dot_width=4</source> | ||
[[Category:Settings]] | |||
Latest revision as of 22:25, 28 June 2006
Overview
This setting defines the size of the dots, in pixels, in the dots representation.
Syntax
set dot_width=int
Where int is any integer, default is 1 pixel.
Example
set dot_width=4