change interface style, add top menu

2025-12-29 02:47:12 +01:00 · 2011-11-01 14:41:15 -02:00
parent 999fa731c0
commit 59017205b0
29 changed files with 197 additions and 3020 deletions
--- a/modules/core_ui/styles/separators.otui
+++ b/modules/core_ui/styles/separators.otui
@@ -3,3 +3,4 @@ HorizontalSeparator < UIWidget
    source: /core_ui/images/horizontal_separator.png
    border.top: 2
  height: 2
+  phantom: true