Re: [GITGRUB] New menu interface (implementation)

[Michal Suchanek <hramrach@centrum.cz>]

[-- Attachment #1: Type: text/plain, Size: 1012 bytes --]

2009/10/6 Bean <bean123ch@gmail.com>:
> On Tue, Oct 6, 2009 at 11:18 PM, Michal Suchanek <hramrach@centrum.cz> wrote:

>>
>> I think there are these common uses for borders:
>>
>> - line border in graphics, box drawing char border in text
>>  This is the simplest case which does not require any support media.
>>  This should be well supported so that creating layout that just
>> works is easy (think fixing grub configuration, posting on pastebin,
>> etc)
>
> Yes, you can archive it with this:
>
> top_left = ",,cyan/blue,#0x250F:,,green/blue,#0x2554"

This gives box drawing characters in both graphics and text. Perhaps
this is an acceptable solution for single border but I would like this
to be the default grub configuration when no theme is applied and
having a distinct more precise border in graphics mode would be a
bonus.

The extend alignment does not seem to work quite well, nor does
setting absolute size and margins (which is slightly more ugly).

Thanks

Michal

[-- Attachment #2: term.0.txt --]
[-- Type: text/plain, Size: 1811 bytes --]

screen {
  background = "/menu/back.png,,blue"
  direction = left_to_right
  position = center

  panel {
    valign = extend
    halign = extend

    top_left = ",,cyan/blue,#0x250F:,,light-gray/blue,#0x2554"
    top = ",tiling,cyan/blue,#0x2501:,,light-gray/blue,#0x2550"
    top_right = ",,cyan/blue,#0x2513:,,light-gray/blue,#0x2557"
    left = ",tiling,cyan/blue,#0x2503:,,light-gray/blue,#0x2551"
    right = ",tiling,cyan/blue,#0x2503:,,light-gray/blue,#0x2551"
    bottom_left = ",,cyan/blue,#0x2517:,,light-gray/blue,#0x255A"
    bottom = ",tiling,cyan/blue,#0x2501:,,light-gray/blue,#0x2550"
    bottom_right = ",tiling,cyan/blue,#0x251B:,,light-gray/blue,#0x255D"

    term {
      padding_top = 8/0
      padding_bottom = 8/0
      padding_left = 8/1
      padding_right = 8/1
      width = 100%
      height = 100%
      color = "cyan/blue:light-gray/blue"
    }
  }

  panel {
    valign = extend
    halign = extend

    top_left = ",,cyan/blue,#0x250F:,,light-gray/blue,#0x2554"
    top = ",tiling,cyan/blue,#0x2501:,,light-gray/blue,#0x2550"
    top_right = ",,cyan/blue,#0x2513:,,light-gray/blue,#0x2557"
    left = ",tiling,cyan/blue,#0x2503:,,light-gray/blue,#0x2551"
    right = ",tiling,cyan/blue,#0x2503:,,light-gray/blue,#0x2551"
    bottom_left = ",,cyan/blue,#0x2517:,,light-gray/blue,#0x255A"
    bottom = ",tiling,cyan/blue,#0x2501:,,light-gray/blue,#0x2550"
    bottom_right = ",tiling,cyan/blue,#0x251B:,,light-gray/blue,#0x255D"

    border_width = 2/0
    border_color = brown:red


    term {
      padding_top = 8/0
      padding_bottom = 8/0
      padding_left = 8/1
      padding_right = 8/1
      width = 100%
      height = 100%
      font = "Times Regular 18"
      color = "cyan/blue:light-gray/blue"
    }
  }
}

[-- Attachment #3: term.txt --]
[-- Type: text/plain, Size: 2089 bytes --]

screen {
  background = "/menu/back.png,,blue"
  direction = left_to_right
  position = center
  padding_top = 15/0
  padding_left = 15/0
  padding_right = 15/0
  padding_bottom = 15/0

  panel {
    width = 50%
    height = 100%
    margin_top = 15/0
    margin_bottom = 15/0
    margin_left = 15/1
    margin_right = 15/1

    top_left = ",,cyan/blue,#0x250F:,,light-gray/blue,#0x2554"
    top = ",tiling,cyan/blue,#0x2501:,,light-gray/blue,#0x2550"
    top_right = ",,cyan/blue,#0x2513:,,light-gray/blue,#0x2557"
    left = ",tiling,cyan/blue,#0x2503:,,light-gray/blue,#0x2551"
    right = ",tiling,cyan/blue,#0x2503:,,light-gray/blue,#0x2551"
    bottom_left = ",,cyan/blue,#0x2517:,,light-gray/blue,#0x255A"
    bottom = ",tiling,cyan/blue,#0x2501:,,light-gray/blue,#0x2550"
    bottom_right = ",tiling,cyan/blue,#0x251B:,,light-gray/blue,#0x255D"

    term {
      padding_top = 8/0
      padding_bottom = 8/0
      padding_left = 8/1
      padding_right = 8/1
      width = 100%
      height = 100%
      color = "cyan/blue:light-gray/blue"
    }
  }

  panel {
    width = 50%
    height = 100%
    margin_top = 15/0
    margin_bottom = 15/0
    margin_left = 15/1
    margin_right = 15/1

    top_left = ",,cyan/blue,#0x250F:,,light-gray/blue,#0x2554"
    top = ",tiling,cyan/blue,#0x2501:,,light-gray/blue,#0x2550"
    top_right = ",,cyan/blue,#0x2513:,,light-gray/blue,#0x2557"
    left = ",tiling,cyan/blue,#0x2503:,,light-gray/blue,#0x2551"
    right = ",tiling,cyan/blue,#0x2503:,,light-gray/blue,#0x2551"
    bottom_left = ",,cyan/blue,#0x2517:,,light-gray/blue,#0x255A"
    bottom = ",tiling,cyan/blue,#0x2501:,,light-gray/blue,#0x2550"
    bottom_right = ",tiling,cyan/blue,#0x251B:,,light-gray/blue,#0x255D"

    border_width = 2/0
    border_color = brown:red


    term {
      padding_top = 8/0
      padding_bottom = 8/0
      padding_left = 8/1
      padding_right = 8/1
      width = 100%
      height = 100%
      font = "Times Regular 18"
      color = "cyan/blue:light-gray/blue"
    }
  }
}