]> gitweb.factorcode.org Git - factor.git/commitdiff
ui.theme: remove delegate protocol for now.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 2 Jan 2022 17:00:50 +0000 (09:00 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 2 Jan 2022 17:00:50 +0000 (09:00 -0800)
basis/ui/theme/theme.factor

index 1fe4e8eaaea7cdce844b56060260d66d6f60ba14..bbfa16377f405b61bfe6053fd36a42cf44d013ba 100644 (file)
@@ -1,6 +1,6 @@
 ! Copyright (C) 2016 Nicolas PĂ©net.
 ! See http://factorcode.org/license.txt for BSD license.
-USING: colors delegate namespaces ;
+USING: colors namespaces ;
 IN: ui.theme
 
 SYMBOL: theme
@@ -270,30 +270,3 @@ M: dark-theme focus-border-color COLOR: solarized-base01 ;
 M: dark-theme labeled-border-color COLOR: solarized-base01 ;
 
 M: dark-theme table-border-color COLOR: solarized-base01 ;
-
-PROTOCOL: theme-protocol
-toolbar-background toolbar-button-pressed-background
-menu-background menu-border-color status-bar-background
-status-bar-foreground button-text-color
-button-clicked-text-color line-color column-title-background
-roll-button-rollover-border roll-button-selected-background
-source-files-color errors-color details-color debugger-color
-completion-color data-stack-color retain-stack-color
-call-stack-color title-bar-gradient popup-color object-color
-contents-color help-header-background
-thread-status-stopped-background
-thread-status-suspended-background
-thread-status-running-background
-thread-status-stopped-foreground
-thread-status-suspended-foreground
-thread-status-running-foreground error-summary-background
-content-background text-color link-color title-color
-heading-color snippet-color output-color
-deprecated-background-color deprecated-border-color
-warning-background-color warning-border-color
-code-background-color help-path-border-color
-tip-background-color prompt-background-color dim-color
-highlighted-word-color string-color stack-effect-color
-vocab-background-color vocab-border-color field-border-color
-editor-caret-color selection-color panel-background-color
-focus-border-color labeled-border-color table-border-color ;