use short color format #RGB (instead of #RRGGBB) where possible

This commit is contained in:
Karl Tauber
2020-09-11 21:24:00 +02:00
parent 7ebeacf16e
commit ecb94bac6d
7 changed files with 147 additions and 147 deletions

View File

@@ -16,7 +16,7 @@
#---- BusyLabel ----
JXBusyLabel.baseColor=#777777
JXBusyLabel.baseColor=#777
JXBusyLabel.highlightColor=#e0e0e0
@@ -38,8 +38,8 @@ Hyperlink.disabledText=@disabledText
JXMonthView.background=@textComponentBackground
JXMonthView.monthStringBackground=#4c5052
JXMonthView.monthStringForeground=@foreground
JXMonthView.daysOfTheWeekForeground=#aaaaaa
JXMonthView.weekOfTheYearForeground=#888888
JXMonthView.daysOfTheWeekForeground=#aaa
JXMonthView.weekOfTheYearForeground=#888
JXMonthView.unselectableDayForeground=#E05555
JXMonthView.selectedBackground=@selectionBackground
JXMonthView.flaggedDayForeground=#E05555
@@ -63,7 +63,7 @@ TaskPane.contentInsets=10,10,10,10
TaskPane.titleBackgroundGradientStart=#4c5052
TaskPane.titleForeground=@foreground
TaskPane.titleOver=#888888
TaskPane.titleOver=#888
TaskPane.specialTitleBackground=#afafaf
TaskPane.specialTitleForeground=#222222
TaskPane.specialTitleOver=#666666
TaskPane.specialTitleForeground=#222
TaskPane.specialTitleOver=#666

View File

@@ -23,7 +23,7 @@ JXBusyLabel.highlightColor=#808080
#---- Header ----
JXHeader.background=@background
JXHeader.startBackground=#ffffff
JXHeader.startBackground=#fff
#---- Hyperlink ----
@@ -38,8 +38,8 @@ Hyperlink.disabledText=@disabledText
JXMonthView.background=@textComponentBackground
JXMonthView.monthStringBackground=#dfdfdf
JXMonthView.monthStringForeground=@foreground
JXMonthView.daysOfTheWeekForeground=#444444
JXMonthView.weekOfTheYearForeground=#666666
JXMonthView.daysOfTheWeekForeground=#444
JXMonthView.weekOfTheYearForeground=#666
JXMonthView.unselectableDayForeground=#E02222
JXMonthView.selectedBackground=#B9CEF8
JXMonthView.flaggedDayForeground=#E02222
@@ -62,8 +62,8 @@ TaskPane.borderColor=$Button.borderColor
TaskPane.contentInsets=10,10,10,10
TaskPane.titleBackgroundGradientStart=#dfdfdf
TaskPane.titleForeground=#222222
TaskPane.titleOver=#666666
TaskPane.titleForeground=#222
TaskPane.titleOver=#666
TaskPane.specialTitleBackground=#afafaf
TaskPane.specialTitleForeground=#222222
TaskPane.specialTitleOver=#666666
TaskPane.specialTitleForeground=#222
TaskPane.specialTitleOver=#666