projects / Mograsim.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aed98de) | patch
MainPreferencePage: Added fields for line widths
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Mon, 18 May 2020 16:42:58 +0000 (18:42 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Mon, 18 May 2020 16:45:55 +0000 (18:45 +0200)
commit2fb92e49c01694fc67d2a893586dcbe393352c1f
treee3aee541bc53440bf6a38662ee0f51c469a00729tree | snapshot
parentaed98de1d858ddea705445a13007c5780659e33bcommit | diff
MainPreferencePage: Added fields for line widths

Fixes #3
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/MainPreferencePage.java diff | blob | history
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/util/DoubleFieldEditor.java [new file with mode: 0644] blob
Mirror of https://github.com/Mograsim-Team/Mograsim