projects
/
Mograsim.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Setup automatic deployment
[Mograsim.git]
/
plugins
/
net.mograsim.plugin.core
/
src
/
net
/
mograsim
/
plugin
/
MainPreferencePage.java
2020-05-18
Daniel Kirschten
MainPreferencePage: Added fields for line widths
blob
|
commitdiff
|
raw
2020-05-18
Daniel Kirschten
Removed old commented-out code
blob
|
commitdiff
|
raw
|
diff to current
2020-05-18
Daniel Kirschten
Fixed a typo
blob
|
commitdiff
|
raw
|
diff to current
2020-05-18
Daniel Kirschten
Improved MainPreferencePage:
blob
|
commitdiff
|
raw
|
diff to current
2019-11-13
Daniel Kirschten
Added short titles for MPM columns
blob
|
commitdiff
|
raw
|
diff to current
2019-11-13
Daniel Kirschten
Added possibility to swap column tooltip and title...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-26
Fabian Stemmler
Merge branch 'development' of https://gitlab.lrz.de...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-26
Daniel Kirschten
Made preference page a bit easier to use
blob
|
commitdiff
|
raw
|
diff to current
2019-09-26
Daniel Kirschten
Added preferences for mouse button assignments
blob
|
commitdiff
|
raw
|
diff to current
2019-09-24
Fabian Stemmler
Merge branch 'development' of
blob
|
commitdiff
|
raw
|
diff to current
2019-09-24
Daniel Kirschten
Made HLSShell component combo box shorter
blob
|
commitdiff
|
raw
|
diff to current
2019-09-16
Fabian Stemmler
Merge branch 'development' of https://gitlab.lrz.de...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-16
Daniel Kirschten
Improved preference handling in plugin.core
blob
|
commitdiff
|
raw
|
diff to current