私はWindowsを利用していますが，
dviをdvioutで，pdfをadobe readerで見ても太くなっています。
osと，何を何で見て太くならないのかわからないと解決しないでしょう。

▼関連発言
│
└◆6125:\Drawline{}での線の太さの変更 [kzhk75] 06/06 18:26
　├◆6126:Re:\Drawline{}での線の太さの変更 [石原　守] 06/06 19:31
　│└◆6127:Re[2]:\Drawline{}での線の太さの変更 [kzhk75] 06/06 20:35
　└◆6128:Re:\Drawline{}での線の太さの変更 [munepi] 06/06 23:55
　　└◆6155:解像度[Re[2]:\Drawline{}での線の太さの変更] [kzhk75] 06/14 18:54
　　　└◆6159:解像度[Re[3]:\Drawline{}での線の太さの変更] [munepi] 06/14 23:55
　　　　└◆6161:解像度[Re[4]:\Drawline{}での線の太さの変更] [kzhk75] 06/15 08:26<-last