net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/ui/IPreferenceConstants.java

   1 package net.sourceforge.phpeclipse.ui;
   2
   3 public interface IPreferenceConstants {
   4         // public static final String PHP_BOOKMARK_DEFAULT =
   5         // "_php_bookmark_default";
   6         public static final String PHP_LOCALHOST_PREF = "_php_localhost";
   7
   8         public static final String PHP_DOCUMENTROOT_PREF = "_php_documentroot";
   9
  10         public static final String PHP_INCLUDE_PATHS = "_php_include_paths";
  11
  12         public static final String PHP_AUTO_PREVIEW_DEFAULT = "_auto_preview";
  13
  14         public static final String PHP_BRING_TO_TOP_PREVIEW_DEFAULT = "_bring_to_top_preview";
  15
  16         public static final String PHP_STICKY_BROWSER_URL_DEFAULT = "_sticky_browser_url";
  17         // public static final String PHP_SHOW_HTML_FILES_LOCAL =
  18         // "_show_html_files_local";
  19         // public static final String PHP_SHOW_XML_FILES_LOCAL =
  20         // "_show_xml_files_local";
  21         /**
  22          * Preference key suffix for bold text style preference keys.
  23          *
  24          * @since 2.1
  25          */
  26         public static final String EDITOR_BOLD_SUFFIX = "_bold"; //$NON-NLS-1$
  27
  28         /**
  29          * Preference key suffix for italic text style preference keys.
  30          *
  31          * @since 3.0
  32          */
  33         public static final String EDITOR_ITALIC_SUFFIX = "_italic"; //$NON-NLS-1$
  34
  35         // public static final String LOCALHOST_PREF = "_localhost";
  36         // public static final String DOCUMENTROOT_PREF = "_documentroot";
  37         // public static final String XAMPP_START_PREF = "_xampp_start_pref";
  38         //
  39         // public static final String XAMPP_STOP_PREF = "_xampp_stop_pref";
  40         //
  41         // public static final String MYSQL_RUN_PREF = "_mysql_run_pref";
  42         //
  43         // public static final String MYSQL_START_BACKGROUND =
  44         // "_mysql_start_background";
  45         //
  46         // public static final String MYSQL_PREF = "__mysql_start";
  47         //
  48         // public static final String APACHE_RUN_PREF = "_apache_run_pref";
  49         //
  50         // public static final String APACHE_START_BACKGROUND =
  51         // "_apache_start_background";
  52         //
  53         // public static final String APACHE_START_PREF = "__apache_start";
  54         //
  55         // public static final String APACHE_STOP_BACKGROUND =
  56         // "_apache_stop_background";
  57         //
  58         // public static final String APACHE_STOP_PREF = "__apache_stop";
  59         //
  60         // public static final String APACHE_RESTART_BACKGROUND =
  61         // "_apache_restart_background";
  62         //
  63         // public static final String APACHE_RESTART_PREF = "__apache_restart";
  64
  65         // public static final String HTTPD_CONF_PATH_PREF = "__httpd_conf_path";
  66         //
  67         // public static final String ETC_HOSTS_PATH_PREF = "__etc_hosts_path";
  68
  69         // public static final String SHOW_OUTPUT_IN_CONSOLE =
  70         // "_show_output_in_console";
  71
  72         // public static final String PHP_RUN_PREF = "_php_run_pref";
  73         //
  74         // public static final String EXTERNAL_PARSER_PREF = "_external_parser";
  75
  76         // public static final String PHP_EXTENSION_PREFS =
  77         // "_php_parser_extensions";
  78
  79         // public static final String PHP_PARSER_DEFAULT = "_php_parser_default";
  80
  81         // public static final String PHP_INTERNAL_PARSER = "_php_internal_parser";
  82         // public static final String PHP_EXTERNAL_PARSER = "_php_external_parser";
  83         // public static final String PHP_PARSE_ON_SAVE = "_php_parse_on_save";
  84         public static final String PHP_MULTILINE_COMMENT = "_php_multilineComment";
  85
  86         public static final String PHP_MULTILINE_COMMENT_BOLD = "_php_multilineComment_bold";
  87
  88         public static final String PHP_MULTILINE_COMMENT_ITALIC = "_php_multilineComment_italic";
  89
  90         public static final String PHP_MULTILINE_COMMENT_UNDERLINE = "_php_multilineComment_underline";
  91
  92         /**
  93          * The color key for operators and brackets in PHP code (value
  94          * <code>"__php_operator"</code>).
  95          *
  96          * @since 3.0
  97          */
  98         public static final String PHP_OPERATOR = "__php_operator"; //$NON-NLS-1$
  99
 100         /**
 101          * The color key for {} in PHP code (value
 102          * <code>"__php_brace_operator"</code>).
 103          *
 104          * @since 3.0
 105          */
 106         public static final String PHP_BRACE_OPERATOR = "__php_brace_operator"; //$NON-NLS-1$
 107
 108         /**
 109          * A named preference that holds the color used to render operators and
 110          * brackets.
 111          * <p>
 112          * Value is of type <code>String</code>. A RGB color value encoded as a
 113          * string using class <code>PreferenceConverter</code>
 114          * </p>
 115          *
 116          * @see org.eclipse.jface.resource.StringConverter
 117          * @see org.eclipse.jface.preference.PreferenceConverter
 118          * @since 3.0
 119          */
 120         public final static String EDITOR_PHP_OPERATOR_COLOR = PHP_OPERATOR;
 121
 122         /**
 123          * A named preference that controls whether operators and brackets are
 124          * rendered in bold.
 125          * <p>
 126          * Value is of type <code>Boolean</code>.
 127          * </p>
 128          *
 129          * @since 3.0
 130          */
 131         public final static String EDITOR_PHP_OPERATOR_BOLD = PHP_OPERATOR
 132                         + EDITOR_BOLD_SUFFIX;
 133
 134         /**
 135          * A named preference that controls whether operators and brackets are
 136          * rendered in italic.
 137          * <p>
 138          * Value is of type <code>Boolean</code>.
 139          * </p>
 140          *
 141          * @since 3.0
 142          */
 143         public final static String EDITOR_PHP_OPERATOR_ITALIC = PHP_OPERATOR
 144                         + EDITOR_ITALIC_SUFFIX;
 145
 146         /**
 147          * A named preference that holds the color used to render operators and
 148          * brackets.
 149          * <p>
 150          * Value is of type <code>String</code>. A RGB color value encoded as a
 151          * string using class <code>PreferenceConverter</code>
 152          * </p>
 153          *
 154          * @see org.eclipse.jface.resource.StringConverter
 155          * @see org.eclipse.jface.preference.PreferenceConverter
 156          * @since 3.0
 157          */
 158         public final static String EDITOR_PHP_BRACE_OPERATOR_COLOR = PHP_BRACE_OPERATOR;
 159
 160         /**
 161          * A named preference that controls whether operators and brackets are
 162          * rendered in bold.
 163          * <p>
 164          * Value is of type <code>Boolean</code>.
 165          * </p>
 166          *
 167          * @since 3.0
 168          */
 169         public final static String EDITOR_PHP_BRACE_OPERATOR_BOLD = PHP_BRACE_OPERATOR
 170                         + EDITOR_BOLD_SUFFIX;
 171
 172         /**
 173          * A named preference that controls whether operators and brackets are
 174          * rendered in italic.
 175          * <p>
 176          * Value is of type <code>Boolean</code>.
 177          * </p>
 178          *
 179          * @since 3.0
 180          */
 181         public final static String EDITOR_PHP_BRACE_OPERATOR_ITALIC = PHP_BRACE_OPERATOR
 182                         + EDITOR_ITALIC_SUFFIX;
 183
 184         /**
 185          * The color key for keyword 'return' in PHP code (value
 186          * <code>"__php_keyword_return"</code>).
 187          *
 188          * @since 3.0
 189          */
 190         public static final String PHP_KEYWORD_RETURN = "__php_keyword_return"; //$NON-NLS-1$
 191
 192         /**
 193          * A named preference that holds the color used to render the 'return'
 194          * keyword.
 195          * <p>
 196          * Value is of type <code>String</code>. A RGB color value encoded as a
 197          * string using class <code>PreferenceConverter</code>
 198          * </p>
 199          *
 200          * @see org.eclipse.jface.resource.StringConverter
 201          * @see org.eclipse.jface.preference.PreferenceConverter
 202          * @since 3.0
 203          */
 204         public final static String EDITOR_PHP_KEYWORD_RETURN_COLOR = PHP_KEYWORD_RETURN;
 205
 206         /**
 207          * A named preference that controls whether 'return' keyword is rendered in
 208          * bold.
 209          * <p>
 210          * Value is of type <code>Boolean</code>.
 211          * </p>
 212          *
 213          * @since 3.0
 214          */
 215         public final static String EDITOR_PHP_KEYWORD_RETURN_BOLD = PHP_KEYWORD_RETURN
 216                         + EDITOR_BOLD_SUFFIX;
 217
 218         /**
 219          * A named preference that controls whether 'return' keyword is rendered in
 220          * italic.
 221          * <p>
 222          * Value is of type <code>Boolean</code>.
 223          * </p>
 224          *
 225          * @since 3.0
 226          */
 227         public final static String EDITOR_PHP_KEYWORD_RETURN_ITALIC = PHP_KEYWORD_RETURN
 228                         + EDITOR_ITALIC_SUFFIX;
 229
 230         public static final String PHP_SINGLELINE_COMMENT = "_php_singlelineComment";
 231
 232         public static final String PHP_SINGLELINE_COMMENT_BOLD = "_php_singlelineComment_bold";//$NON-NLS-1$
 233
 234         public static final String PHP_SINGLELINE_COMMENT_ITALIC = "_php_singlelineComment_italic";//$NON-NLS-1$
 235
 236         public static final String PHP_SINGLELINE_COMMENT_UNDERLINE = "_php_singlelineComment_underline";//$NON-NLS-1$
 237
 238         public static final String PHP_TAG = "_php_tag";//$NON-NLS-1$
 239
 240         public static final String PHP_TAG_BOLD = "_php_tag_bold";//$NON-NLS-1$
 241
 242         public static final String PHP_TAG_ITALIC = "_php_tag_italic";//$NON-NLS-1$
 243
 244         public static final String PHP_TAG_UNDERLINE = "_php_tag_underline";//$NON-NLS-1$
 245
 246         public static final String PHP_KEYWORD = "_php_keyword";//$NON-NLS-1$
 247
 248         public static final String PHP_KEYWORD_BOLD = "_php_keyword_bold";//$NON-NLS-1$
 249
 250         public static final String PHP_KEYWORD_ITALIC = "_php_keyword_italic";//$NON-NLS-1$
 251
 252         public static final String PHP_KEYWORD_UNDERLINE = "_php_keyword_underline";//$NON-NLS-1$
 253
 254         public static final String PHP_VARIABLE = "_php_variable";//$NON-NLS-1$
 255
 256         public static final String PHP_VARIABLE_BOLD = "_php_variable_bold";//$NON-NLS-1$
 257
 258         public static final String PHP_VARIABLE_ITALIC = "_php_variable_italic";//$NON-NLS-1$
 259
 260         public static final String PHP_VARIABLE_UNDERLINE = "_php_variable_underline";//$NON-NLS-1$
 261
 262         public static final String PHP_VARIABLE_DOLLAR = "_php_variable_dollar";//$NON-NLS-1$
 263
 264         public static final String PHP_VARIABLE_DOLLAR_BOLD = "_php_variable_dollar_bold";//$NON-NLS-1$
 265
 266         public static final String PHP_VARIABLE_DOLLAR_ITALIC = "_php_variable_dollar_italic";//$NON-NLS-1$
 267
 268         public static final String PHP_VARIABLE_DOLLAR_UNDERLINE = "_php_variable_dollar_underline";//$NON-NLS-1$
 269
 270         public static final String PHP_TYPE = "_php_type";//$NON-NLS-1$
 271
 272         public static final String PHP_TYPE_BOLD = "_php_type_bold";//$NON-NLS-1$
 273
 274         public static final String PHP_TYPE_ITALIC = "_php_type_italic";//$NON-NLS-1$
 275
 276         public static final String PHP_TYPE_UNDERLINE = "_php_type_underline";//$NON-NLS-1$
 277
 278         public static final String PHP_CONSTANT = "_php_constant";//$NON-NLS-1$
 279
 280         public static final String PHP_CONSTANT_BOLD = "_php_constant_bold";//$NON-NLS-1$
 281
 282         public static final String PHP_CONSTANT_ITALIC = "_php_constant_italic";//$NON-NLS-1$
 283
 284         public static final String PHP_CONSTANT_UNDERLINE = "_php_constant_underline";//$NON-NLS-1$
 285
 286         public static final String PHP_FUNCTIONNAME = "_php_functionname";//$NON-NLS-1$
 287
 288         public static final String PHP_FUNCTIONNAME_BOLD = "_php_functionname_bold";//$NON-NLS-1$
 289
 290         public static final String PHP_FUNCTIONNAME_ITALIC = "_php_functionname_italic";//$NON-NLS-1$
 291
 292         public static final String PHP_FUNCTIONNAME_UNDERLINE = "_php_functionname_underline";//$NON-NLS-1$
 293
 294         public static final String PHP_STRING_DQ = "_php_string";//$NON-NLS-1$
 295
 296         public static final String PHP_STRING_BOLD_DQ = "_php_string_bold";
 297
 298         public static final String PHP_STRING_ITALIC_DQ = "_php_string_italic";
 299
 300         public static final String PHP_STRING_UNDERLINE_DQ = "_php_string_underline";
 301
 302         public static final String PHP_STRING_SQ = "_php_string_sq";//$NON-NLS-1$
 303
 304         public static final String PHP_STRING_BOLD_SQ = "_php_string_sq_bold";
 305
 306         public static final String PHP_STRING_ITALIC_SQ = "_php_string_sq_italic";
 307
 308         public static final String PHP_STRING_UNDERLINE_SQ = "_php_string_sq_underline";
 309
 310         public static final String PHP_DEFAULT = "_php_default";
 311
 312         public static final String PHP_DEFAULT_BOLD = "_php_default_bold";
 313
 314         public static final String PHP_DEFAULT_ITALIC = "_php_default_italic";
 315
 316         public static final String PHP_DEFAULT_UNDERLINE = "_php_default_underline";
 317
 318         public static final String TASK_TAG = "_php_comment_task_tag"; //$NON-NLS-1$
 319
 320         public static final String TASK_TAG_BOLD = "_php_comment_task_tag_bold"; //$NON-NLS-1$
 321
 322         /**
 323          * The color key for PHPDoc keywords (<code>@foo</code>) in PHPDoc comments.
 324          */
 325         public static final String PHPDOC_KEYWORD = "_php_doc_keyword"; //$NON-NLS-1$
 326
 327         public static final String PHPDOC_KEYWORD_BOLD = "_php_doc_keyword_bold";
 328
 329         public static final String PHPDOC_KEYWORD_ITALIC = "_php_doc_keyword_italic";
 330
 331         public static final String PHPDOC_KEYWORD_UNDERLINE = "_php_doc_keyword_underline";
 332
 333         /**
 334          * The color key for HTML tags (<code>&lt;foo&gt;</code>) in PHPDoc
 335          * comments.
 336          */
 337         public static final String PHPDOC_TAG = "_php_doc_tag"; //$NON-NLS-1$
 338
 339         public static final String PHPDOC_TAG_BOLD = "_php_doc_tag_bold";
 340
 341         public static final String PHPDOC_TAG_ITALIC = "_php_doc_tag_italic";
 342
 343         public static final String PHPDOC_TAG_UNDERLINE = "_php_doc_tag_underline";
 344
 345         /**
 346          * The color key for PHPDoc links (<code>{foo}</code>) in PHPDoc
 347          * comments.
 348          */
 349         public static final String PHPDOC_LINK = "_php_doc_link"; //$NON-NLS-1$
 350
 351         public static final String PHPDOC_LINK_BOLD = "_php_doc_link_bold";
 352
 353         public static final String PHPDOC_LINK_ITALIC = "_php_doc_link_italic";
 354
 355         public static final String PHPDOC_LINK_UNDERLINE = "_php_doc_link_underline";
 356
 357         /**
 358          * The color key for everthing in PHPDoc comments for which no other color
 359          * is specified.
 360          */
 361         public static final String PHPDOC_DEFAULT = "_php_doc_default"; //$NON-NLS-1$
 362
 363         public static final String PHPDOC_DEFAULT_BOLD = "_php_doc_default_bold";
 364
 365         public static final String PHPDOC_DEFAULT_ITALIC = "_php_doc_default_italic";
 366
 367         public static final String PHPDOC_DEFAULT_UNDERLINE = "_php_doc_default_underline";
 368
 369         // public static final String LINKED_POSITION_COLOR =
 370         // "_linkedPositionColor";
 371         // public static final String PHP_EDITOR_BACKGROUND =
 372         // "_php_editor_background";
 373         public static final String PHP_USERDEF_XMLFILE = "_userdef_xmlfile";
 374
 375         /** Preference key for showing the line number ruler */
 376         // public final static String LINE_NUMBER_RULER = "_lineNumberRuler";
 377         // //$NON-NLS-1$
 378         /** Preference key for the foreground color of the line numbers */
 379         // public final static String LINE_NUMBER_COLOR = "_lineNumberColor";
 380         // //$NON-NLS-1$
 381         // public final static String PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT =
 382         // "_defaultBackgroundColor"; //$NON-NLS-1$
 383         // public final static String PREFERENCE_COLOR_BACKGROUND =
 384         // "backgroundColor"; //$NON-NLS-1$
 385         /** Preference key for content assist proposal color */
 386         public final static String PROPOSALS_FOREGROUND = "content_assist_proposals_foreground"; //$NON-NLS-1$
 387
 388         /** Preference key for content assist proposal color */
 389         public final static String PROPOSALS_BACKGROUND = "content_assist_proposals_background"; //$NON-NLS-1$
 390
 391         public static final String EDITOR_EVALUTE_TEMPORARY_PROBLEMS = null;
 392
 393         public static final String EDITOR_CORRECTION_INDICATION = null;
 394
 395         // public static final String PHP_OBFUSCATOR_DEFAULT =
 396         // "_php_obfuscator_default";
 397         // public static final String PHP_BOOKMARK_DEFAULT =
 398         // "_php_bookmark_default";
 399         // public static final String PHP_LOCALHOST_PREF = "_php_localhost";
 400         // public static final String PHP_DOCUMENTROOT_PREF = "_php_documentroot";
 401         //
 402         // public static final String PHP_AUTO_PREVIEW_DEFAULT = "_auto_preview";
 403         // public static final String PHP_BRING_TO_TOP_PREVIEW_DEFAULT =
 404         // "_bring_to_top_preview";
 405         // public static final String PHP_SHOW_HTML_FILES_LOCAL =
 406         // "_show_html_files_local";
 407         }