- Anonymous
| Author | Committer | Branch | Timestamp | Parent |
|---|---|---|---|---|
| wmayer | wmayer | master | 2014-02-17 15:27:59 | master d3760dee |
| Changeset | + draw additional dashed line in brush tool | |||
| mod - src/Gui/GLPainter.cpp | Diff File | |||
| mod - src/Gui/GLPainter.h | Diff File | |||
| mod - src/Gui/MouseSelection.cpp | Diff File | |||
| mod - src/Gui/MouseSelection.h | Diff File | |||
| mod - src/Mod/Mesh/Gui/MeshSelection.cpp | Diff File | |||