fix second player widget layout issues (#59)

player widget: don't let a GtkBox expand
JuliaGizmos · Nov 2, 2023 · 0395f1c · 0395f1c
1 parent a9795c6
commit 0395f1c
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,6 +1,6 @@
 name = "GtkObservables"
 uuid = "8710efd8-4ad6-11eb-33ea-2d5ceb25a41c"
-version = "2.0.2"
+version = "2.0.3"
 
 [deps]
 Cairo = "159f3aea-2a34-519c-b102-8c37f9878175"
@@ -19,10 +19,12 @@ RoundingIntegers = "d5f540fe-1c90-5db3-b776-2e2f362d9394"
 [compat]
 Cairo = "1"
 Colors = "0.12"
+Dates = "1.6"
 FixedPointNumbers = "0.8"
 Graphics = "1"
 Gtk4 = "0.5"
 IntervalSets = "0.5, 0.6, 0.7"
+LinearAlgebra = "1.6"
 Observables = "0.4, 0.5"
 PrecompileTools = "1"
 Reexport = "0.2, 1"

diff --git a/src/player.ui b/src/player.ui
@@ -60,8 +60,8 @@
  </child>
  </object>
  <object class="GtkFrame" id="player_frame2">
- <property name="hexpand">True</property>
- <property name="vexpand">True</property>
+ <property name="hexpand">False</property>
+ <property name="vexpand">False</property>
  <child>
  <object class="GtkBox" id="splitv2">
  <property name="orientation">vertical</property>
@@ -95,6 +95,7 @@
  <child>
  <object class="GtkEntry" id="index_entry2">
  <property name="halign">center</property>
+ <property name="width-chars">5</property>
  </object>
  </child>
  <child>