index 67bffa1e278c15287bbf0b762f7e8dfe136c0c8e..80970fd8a5cd43f8a250d7600a75da372293d215 100644 (file)
n_major = real_mark_length * n;
n_minor = real_minor_mark_length * n;
+ if (mark_dir == MARKDIR_BOTH) {
+ n_major = n_major * 0.5;
+ n_minor = n_minor * 0.5;
+ }
Point C, D;
switch (marktype) {