Activity for Daniel Houck
-
Daniel Houck committed [r3442]
Fix Highlight Manager on set to defaults
-
Fix ensureNotHighlighting by setting the JDT fo...
-
Handle syncing between JML highlighting setting...
-
Actually make HighlightingFoldingStructureProvi...
-
Very basic JML syntax highlighting, but current...
-
Externalize strings in folding preference block
-
Add preference page for JML folding provider
-
Add a folding provider to wrap another folding ...
-
Add defaults for highlighting preferences
-
Remove unused imports; minor changes to Highlig...
-
Merge highlighting settings in from HMCSummer20...
-
Merge document partitioner in from HMCSummer201...
-
Create branch of OpenJMLUI for Eclipse syntax h...
-
Create directory for OpenJMLUI branches
-
Fixed some issues with document partitioning
-
Added JML document partitioner. As a side-effec...
1