2209 |
:group 'font-lock-extra-types) |
:group 'font-lock-extra-types) |
2210 |
|
|
2211 |
(defcustom java-font-lock-extra-types |
(defcustom java-font-lock-extra-types |
2212 |
'("[A-Z\300-\326\330-\337]\\sw*[a-zA-Z]\\sw*") |
'("[A-Z\300-\326\330-\337]\\sw*[a-z]\\sw*" "URL") |
2213 |
"*List of extra types to fontify in Java mode. |
"*List of extra types to fontify in Java mode. |
2214 |
Each list item should be a regexp not containing word-delimiters. |
Each list item should be a regexp not containing word-delimiters. |
2215 |
For example, a value of (\"[A-Z\300-\326\330-\337]\\\\sw*[a-z]\\\\sw*\") means capitalised |
For example, a value of (\"[A-Z\300-\326\330-\337]\\\\sw*[a-z]\\\\sw*\" \"URL\") means |
2216 |
words (and words conforming to the Java id spec) are treated as type names. |
capitalised words (that conform to the Java id spec) and URL are treated as |
2217 |
|
type names. |
2218 |
|
|
2219 |
The value of this variable is used when Font Lock mode is turned on." |
The value of this variable is used when Font Lock mode is turned on." |
2220 |
:type 'font-lock-extra-types-widget |
:type 'font-lock-extra-types-widget |