From: <HBB...@t-...> - 2007-10-29 23:01:54
|
Tatsuro MATSUOKA wrote: > Every member knows that 'pt 0' is common dot style for all terminals. > However, the current octave set dot style, pt 7 ps 1 because 'pt 0' is too small. > But 'pt 7' is not always filled circle for all terminal. So they found they had a problem, and solved it by knowingly substituting by another problem, eh? Interesting stratety. > Can I change the dot size of the terminal ? There's no general reason 'ps' wouldn't apply to dots, too. Some terminal drivers won't support it, though. The simple pixel-based ones, e.g.. |