rendered paste body../supported/CommandLine/resources/cli.css:
47:body.sc-theme .cmd_line .cmd_prompt { color: #FF8E00; font-weight: bold; }
48:body.sc-theme .cmd_line .cmd_prompt .cmd_brackets { color: #FFF; }
../supported/CommandLine/resources/image_button.css:
38:.sc-theme .sc-button-view.sc-bespin-view img.button {
../supported/CommandLine/resources/pin.css:
38:.sc-theme .sc-button-view.sc-pin-view img.button {
45:.sc-theme .sc-button-view.sc-pin-view.sel img.button {
49:.sc-theme .sc-button-view.sc-pin-view.active img.button {
../supported/CommandLine/views/image_button.js:
45: theme: 'bespin',
../supported/CommandLine/views/pin.js:
47: theme: 'pin',
../supported/Editor/controllers/layoutmanager.js:
95: * The theme to use.
97: * TODO: Convert to a SproutCore theme.
99: theme: {
167: var theme = this.get('theme');
168: var plainColor = theme.editorTextColor_plain;
310: color: this.get('theme').editorTextColor
434: var theme = this.get('theme');
438: var color = theme["editorTextColor_" + range.tag];
440: color = theme.editorTextColor_plain;
../supported/Editor/views/gutter.js:
43: // TODO: calculate from the size or let the user override via themes if
49: * Theme information for the gutter. Currently exposed properties are
52: * TODO: Convert to SproutCore's theme system.
54: theme: {
69: var theme = this.get('theme');
70: context.fillStyle = theme.gutterStyle;
79: context.fillStyle = theme.lineNumberColor;
80: context.font = theme.lineNumberFont;
133: // measureStringWidth(this.get('theme').lineNumberFont,
../supported/Editor/views/scroller.js:
61: // TODO: Make this a real SproutCore theme (i.e. an identifier that gets
63: theme: {
81: var theme = this.get('theme');
84: fillStyle = theme.fullNibStyle;
85: arrowStyle = theme.fullNibArrowStyle;
86: strokeStyle = theme.fullNibStrokeStyle;
88: fillStyle = theme.partialNibStyle;
89: arrowStyle = theme.partialNibArrowStyle;
90: strokeStyle = theme.partialNibStrokeStyle;
364: var theme = this.get('theme');
416: ctx.fillStyle = theme.scrollTrackFillStyle;
419: ctx.strokeStyle = theme.scrollTrackStrokeStyle;
441: theme.scrollBarFillGradientTopStart.replace(/%a/, alpha));
443: theme.scrollBarFillGradientTopStop.replace(/%a/, alpha));
445: theme.scrollBarFillStyle.replace(/%a/, alpha));
447: theme.scrollBarFillGradientBottomStart.replace(/%a/, alpha));
449: theme.scrollBarFillGradientBottomStop.replace(/%a/, alpha));
458: ctx.fillStyle = theme.scrollBarFillStyle.replace(/%a/, alpha);
480: ctx.strokeStyle = theme.scrollTrackStrokeStyle;
../supported/Editor/views/text.js:
56: // TODO: calculate from the size or let the user override via themes if
93: context.strokeStyle = this.get('theme').cursorStyle;
107: var theme = this.get('theme');
111: context.font = theme.editorTextFont;
175: var theme = this.get('theme');
177: theme.editorSelectedTextBackground :
178: theme.unfocusedCursorFillStyle;
626: * The theme to use.
628: * TODO: Convert to a SproutCore theme. This is super ugly.
630: theme: {
675: context.fillStyle = this.get('theme').backgroundStyle;
../supported/EditorApp.js:
43: "BespinTheme", "AppSupport", "CommandLine", "Editor", "UserIdent",
../supported/UserIdent.js:
265: classNames: [ "bespin-theme" ],