diff options
| author | Antonio Rojas | 2019-04-03 06:42:46 +0000 |
|---|---|---|
| committer | Antonio Rojas | 2019-04-03 06:42:46 +0000 |
| commit | 41d5efb0c3e63a6785bc45b30b9477fe9e47f142 (patch) | |
| tree | 799a8c2c919d78f4498067b2dd5d6f41c4254022 /xfig-3.2.5-color-resources.patch | |
| download | aur-41d5efb0c3e63a6785bc45b30b9477fe9e47f142.tar.gz | |
Dropped from repos
Diffstat (limited to 'xfig-3.2.5-color-resources.patch')
| -rw-r--r-- | xfig-3.2.5-color-resources.patch | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/xfig-3.2.5-color-resources.patch b/xfig-3.2.5-color-resources.patch new file mode 100644 index 000000000000..cfbedbb7fe7e --- /dev/null +++ b/xfig-3.2.5-color-resources.patch @@ -0,0 +1,39 @@ +diff -up xfig.3.2.5/Fig-color.bisque.ad~ xfig.3.2.5/Fig-color.bisque.ad +--- xfig.3.2.5/app-defaults/Fig-color.bisque 2007-11-16 13:47:45.000000000 +0100 ++++ xfig.3.2.5/app-defaults/Fig-color.bisque 2007-11-16 13:47:52.000000000 +0100 +@@ -72,7 +72,7 @@ + Fig*topruler.background: gray95 + Fig*sideruler.background: gray95 + Fig*List*background: gray95 +-Fig*Scrollbar.background: gray95 ++! Fig*Scrollbar.background: gray95 + + Fig*cancel.background: navajowhite1 + Fig*dismiss.background: navajowhite1 +@@ -104,8 +104,8 @@ Fig*menu_divider.foreground: red + Fig*menu_divider.foreground: red + + !##### Shadows +-Fig*shadowWidth: 2 +-Fig*Label.shadowWidth: 1 ++! Fig*shadowWidth: 2 ++! Fig*Label.shadowWidth: 1 + Fig*horizontal.shadowWidth: 2 + Fig*Scrollbar.shadowWidth: 2 + ! no shadows for update indicators +@@ -136,3 +136,15 @@ Fig*color_box*topShadowPixel: gray80 + + Fig*toggle*bottomShadowPixel: gray80 + Fig*toggle*topShadowPixel: gray50 ++ ++! repare damage done to scrollbar shadows non color resources file ++ ++Fig*horizontal.topShadowPixel: gray95 ++Fig*horizontal.bottomShadowPixel: gray50 ++Fig*horizontal.topShadow: gray95 ++Fig*horizontal.bottomShadow: gray50 ++ ++Fig*Scrollbar.topShadow: gray95 ++Fig*Scrollbar.bottomShadow: gray50 ++Fig*Scrollbar.topShadowPixel: gray95 ++Fig*Scrollbar.bottomShadowPixel: gray50 |