Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Deprecated: Creation of dynamic property LoadBalancer::$mWriteIndex is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/db/LoadBalancer.php on line 83
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Deprecated: Return type of ResultWrapper::current() should either be compatible with Iterator::current(): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/db/DatabaseUtility.php on line 174
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Deprecated: Return type of ResultWrapper::next() should either be compatible with Iterator::next(): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/db/DatabaseUtility.php on line 192
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Deprecated: Return type of ResultWrapper::key() should either be compatible with Iterator::key(): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/db/DatabaseUtility.php on line 185
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Deprecated: Return type of ResultWrapper::valid() should either be compatible with Iterator::valid(): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/db/DatabaseUtility.php on line 202
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Deprecated: Return type of ResultWrapper::rewind() should either be compatible with Iterator::rewind(): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/db/DatabaseUtility.php on line 163
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Deprecated: Creation of dynamic property Revision::$mUnpatrolled is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/Revision.php on line 707
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Deprecated: Creation of dynamic property WikitextContentHandler::$mModelName is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/content/ContentHandler.php on line 416
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Deprecated: Creation of dynamic property RequestContext::$recursion is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/context/RequestContext.php on line 332
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Deprecated: Creation of dynamic property MessageCache::$mMemc is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/cache/MessageCache.php on line 136
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Deprecated: Creation of dynamic property LoadBalancer::$mWriteIndex is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/db/LoadBalancer.php on line 83
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Deprecated: Creation of dynamic property Parser::$mPreprocessorClass is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/parser/Parser.php on line 255
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Deprecated: Creation of dynamic property PPDStack::$accum is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/parser/Preprocessor_DOM.php on line 778
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Warning: Cannot modify header information - headers already sent by (output started at /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php:344) in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/Feed.php on line 234
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Deprecated: header(): Passing null to parameter #3 ($response_code) of type int is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/WebResponse.php on line 37
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Warning: Cannot modify header information - headers already sent by (output started at /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php:344) in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/WebResponse.php on line 37
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Deprecated: header(): Passing null to parameter #3 ($response_code) of type int is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/WebResponse.php on line 37
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Warning: Cannot modify header information - headers already sent by (output started at /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php:344) in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/WebResponse.php on line 37
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Deprecated: header(): Passing null to parameter #3 ($response_code) of type int is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/WebResponse.php on line 37
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Warning: Cannot modify header information - headers already sent by (output started at /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php:344) in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/WebResponse.php on line 37
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Deprecated: header(): Passing null to parameter #3 ($response_code) of type int is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/WebResponse.php on line 37
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Warning: Cannot modify header information - headers already sent by (output started at /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php:344) in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/WebResponse.php on line 37 https://rave.gatech.edu/help/index.php?action=history&feed=atom&title=Rave_Preferences_for_DevelopersRave Preferences for Developers - Revision history2025-12-14T14:15:13ZRevision history for this page on the wikiMediaWiki 1.25.5 Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Deprecated: Creation of dynamic property Revision::$mUnpatrolled is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/Revision.php on line 707
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Deprecated: Creation of dynamic property Revision::$mUnpatrolled is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/Revision.php on line 707
Deprecated: Creation of dynamic property ErrorException::$_mwLogId is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/exception/MWExceptionHandler.php on line 344
Deprecated: Creation of dynamic property WikitextContent::$mText is deprecated in /var/www/vhosts/rave.gatech.edu/httpdocs/help/includes/content/TextContent.php on line 56 https://rave.gatech.edu/help/index.php?title=Rave_Preferences_for_Developers&diff=3251&oldid=prevAdmin: Created page with " =Preference Names and Values= This section lists each preference and explains what it does and the required format for its values. ==Preferences that control the appearance ..."2013-08-22T20:22:40Z<p>Created page with " =Preference Names and Values= This section lists each preference and explains what it does and the required format for its values. ==Preferences that control the appearance ..."</p>
<p><b>New page</b></p><div><br />
=Preference Names and Values=<br />
This section lists each preference and explains what it does and the required format for its values.<br />
<br />
==Preferences that control the appearance of Rave's user interface==<br />
{| border=1 cellpadding="5" cellspacing="0" align="center"<br />
|-<br />
! style="background:#efefef;" width="150"| Name<br />
! style="background:#efefef;" width="300"| Format<br />
! style="background:#efefef;" width="400"| Description<br />
|-<br />
|colors.tabbg<br />
|a 1x3 [[colorspec]] vector<br />
|The color of the background of the tabs, and other objects that share this color.<br />
|-<br />
|colors.tabfg<br />
|a 1x3 [[colorspec]] vector<br />
|The color of the border lines that draw the tabs and other objects that share this color.<br />
|-<br />
|colors.wsbg<br />
|a 1x3 [[colorspec]] vector<br />
|The background color of the workspace.<br />
|-<br />
|colors.wsgrid<br />
|a 1x3 [[colorspec]] vector<br />
|The color of the major gridlines in the workspace. The minor gridlines are the average of this color and colors.wsbg.<br />
|-<br />
|colors.frame<br />
|a 1x3 [[colorspec]] vector<br />
|The color of the background area of the Rave window (i.e. the border area around the workspace) and the background color of all popup windows.<br />
|-<br />
|colors.title<br />
|a 1x3 [[colorspec]] vector<br />
|The color of "title" text objects. For example the <br />
|-<br />
|colors.text<br />
|a 1x3 [[colorspec]] vector<br />
|The color of the text that shows the names of the first row of tabs. This color is also used for many other objects whose color cannot be specified directly.<br />
|-<br />
|colors.texttint<br />
|a 1x3 [[colorspec]] vector<br />
|The color of the text that shows the names of the second row of tabs. This will probably be removed in the future. <br />
|-<br />
|colors.buttonbg<br />
|a 1x3 [[colorspec]] vector<br />
|The background color of buttons. Many buttons just use the default color. This is mostly used for java buttons and other times when it seems important to explicitly specify a color.<br />
|-<br />
|colors.togglebuttonbg<br />
|a 1x3 [[colorspec]] vector<br />
|The background color of togglebuttons. This is only here to force toggle buttons to render differently on Windows7.<br />
|-<br />
|colors.constraint<br />
|a 1x3 [[colorspec]] vector<br />
|The default color for newly created constraints.<br />
|-<br />
|colors.textbox<br />
|a 1x3 [[colorspec]] vector<br />
|Currently unused.<br />
|}<br />
<br />
==Preferences that control the appearance of graphs==<br />
{| border=1 cellpadding="5" cellspacing="0" align="center"<br />
|-<br />
! style="background:#efefef;" width="150"| Name<br />
! style="background:#efefef;" width="300"| Format<br />
! style="background:#efefef;" width="400"| Description<br />
|-<br />
|colors.axes{1},colors.axes{2},colors.axes{3},colors.axes{4}<br />
|a 5x3 maxtix of 5 [[colorspec]] vectors.<br />
|These 4 preferences control the graph axes color schemes that are applied by the four "background color" buttons at the top of most graph's format tabs. Each of the four preferences is a 5-row matrix of five colorspecs. The rows of this matrix are, in order: the graph background color (this color is shown on the corresponding buttons on the Format tab), the graph foreground color (used to draw the graph axes and tick marks), the minor grid line color, the major grid line color, the text color (used to draw tick mark labels and axis labels). <br />
|-<br />
|colors.selectionhighlight<br />
|a 1x3 [[colorspec]] vector<br />
|The color used to indicate selected data. Different types of graphs use this color in different ways. <br />
|-<br />
|colors.filtered<br />
|a 1x3 [[colorspec]] vector<br />
|The color used to indicate selected data. Different types of graphs use this color in different ways. <br />
|-<br />
|fonts.graph<br />
|a string (font name).<br />
|The font used to draw graph axis labels and tick mark values. (Note, some graphs may ignore this and use a default font.)<br />
|-<br />
|fonts.graphsize<br />
|an integer <br />
|The font size used to draw graph axis labels.<br />
|-<br />
|fonts.graphtitle<br />
|a string (font name).<br />
|The font used to draw graph titles. (Note, some graphs may ignore this and use a default font.)<br />
|-<br />
|fonts.graphtitlesize<br />
|an integer <br />
|The font size used to draw graph titles.<br />
|-<br />
|fonts.textbox<br />
|a string (font name).<br />
|The default font used when creating a new "Text Box" annotation (or similar annotations).<br />
|-<br />
|fonts.ticksize<br />
|an integer <br />
|The font size used to draw graph axis tick mark labels. (Note, some dense graphs may use a smaller font size.)<br />
|}</div>Admin