Add a border around the focused widget in the basic skin

diff --git a/basic.skin b/basic.skin
index 92da832486fe0c470e17692ce59e454095e01b19..82a683ee0891996b971c0cb4c8604c18584089e3 100644 (file)
--- a/basic.skin
+++ b/basic.skin
@@ -21,10 +21,23 @@ graphic "dark_grey_sunken"
        border { vertical 3; horizontal 3; };
 };
 
+graphic "blue_border"
+{
+       texture "basic_skin.png";
+       slice 13 0 12 12;
+       border { vertical 2; horizontal 2; };
+       shadow { vertical 1; horizontal 1; };
+};
+
 style "button"
 {
        font_color 0.0 0.0 0.0;
 
+       part
+       {
+               graphic FOCUS "blue_border";
+       };
+
        part
        {
                graphic NORMAL "grey_raised";
@@ -68,6 +81,14 @@ style "toggle"
                graphic HOVER "light_grey_flat";
        };
 
+       part
+       {
+               graphic FOCUS "blue_border";
+               align 0.0 0.5;
+               fill 0.0 0.0;
+               size 12 12;
+       };
+
        part
        {
                graphic NORMAL "white_sunken";
@@ -103,6 +124,13 @@ graphic "option_dot"
        slice 29 49 6 6;
 };
 
+graphic "blue_round_border"
+{
+       texture "basic_skin.png";
+       slice 49 0 14 14;
+       shadow { vertical 1; horizontal 1; };
+};
+
 style "toggle-option"
 {
        font_color 0.0 0.0 0.0;
@@ -112,6 +140,13 @@ style "toggle-option"
                graphic HOVER "light_grey_flat";
        };
 
+       part
+       {
+               graphic FOCUS "blue_round_border";
+               align 0.0 0.5;
+               fill 0.0 0.0;
+       };
+
        part
        {
                graphic NORMAL "white_circle_sunken";
@@ -274,6 +309,11 @@ style "list"
 
 style "listitem"
 {
+       part
+       {
+               graphic FOCUS "blue_border";
+       };
+
        part
        {
                graphic ACTIVE "blue_flat";
@@ -308,6 +348,12 @@ style "dropdown"
 {
        font_color 0.0 0.0 0.0;
 
+       part
+       {
+               graphic FOCUS "blue_border";
+               graphic ACTIVE "";
+       };
+
        part
        {
                graphic NORMAL "grey_raised";

diff --git a/basic_skin.png b/basic_skin.png
index f4dbdcb117cdeffb550dcf1ab81f4d5f1c5c54b7..329c377f29bac9e37bf76f8302580c99d5927199 100644 (file)
Binary files a/basic_skin.png and b/basic_skin.png differ