Sign in
eclipse
/
intent
/
org.eclipse.mylyn.docs.intent.main
/
34fd75433e213fe7c054ee0c90fee21f768b8e87
commit
34fd75433e213fe7c054ee0c90fee21f768b8e87
[
log
]
author
Alex Lagarde <alex.lagarde@obeo.fr>
Fri Nov 09 16:17:32 2012 +0100
committer
Alex Lagarde <alex.lagarde@obeo.fr>
Fri Nov 09 16:22:27 2012 +0100
tree
82cb09ecb0b462e38a319a2205b01400e9d6375a
parent
896ca17b1a4a3b6a944ebc11e9978285967f793a
[
diff
]
[bugzilla 393524] Allow to modify Intent fonts from preferences
plugins/org.eclipse.mylyn.docs.intent.client.ui/plugin.xml
[
diff
]
plugins/org.eclipse.mylyn.docs.intent.client.ui/src/org/eclipse/mylyn/docs/intent/client/ui/editor/configuration/IntentFontConstants.java
[
diff
]
plugins/org.eclipse.mylyn.docs.intent.client.ui/src/org/eclipse/mylyn/docs/intent/client/ui/editor/scanner/IntentModelingUnitScanner.java
[
diff
]
3 files changed
tree: 82cb09ecb0b462e38a319a2205b01400e9d6375a
examples/
features/
plugins/
tests/
.gitignore
init.sh
pom.xml
README.textile