-
Benjamin Otte authored
Number chosen by staring out the window and counting visible stars. This is necessary so that path bars don't underallocate the arrow widget they use.
1c46e04f
Number chosen by staring out the window and counting visible stars. This is necessary so that path bars don't underallocate the arrow widget they use.