2009/10/5 Bean :
> On Mon, Oct 5, 2009 at 6:20 AM, Michal Suchanek wrote:
>> Hello
>>
>> I tried to get some borders into the previous demo but I got overlapping
>> panels.
>>
>> This should not happen because it is not supported. That's what the
>> layout manager is for.
>
> Hi,
>
> I think you
2009/10/5 Bean :
> On Mon, Oct 5, 2009 at 5:57 AM, Michal Suchanek wrote:
>> There are panels above it so it is not left to right.
>>
>> The margin should increase the outer size of the widget so that when
>> space is allocated for it the margin is taken into account but not
>> stick it to the bot
On Mon, Oct 5, 2009 at 5:07 PM, Michal Suchanek wrote:
> 2009/10/5 Bean :
>> On Mon, Oct 5, 2009 at 6:20 AM, Michal Suchanek wrote:
>>> Hello
>>>
>>> I tried to get some borders into the previous demo but I got overlapping
>>> panels.
>>>
>>> This should not happen because it is not supported. T
On Mon, Oct 5, 2009 at 5:07 PM, Michal Suchanek wrote:
> A panel should never be removed from layout management, it then
> becomes pointless.
>
> A top-aligned panel should be done with alignment, and should be only
> possible in horizontal panels like this:
>
> panel{
> direction = left_to_right
2009/10/5 Bean :
> On Mon, Oct 5, 2009 at 5:07 PM, Michal Suchanek wrote:
>> A panel should never be removed from layout management, it then
>> becomes pointless.
>>
>> A top-aligned panel should be done with alignment, and should be only
>> possible in horizontal panels like this:
>>
>> panel{
>>
2009/10/5 Bean :
> On Mon, Oct 5, 2009 at 5:07 PM, Michal Suchanek wrote:
>> 2009/10/5 Bean :
>>> On Mon, Oct 5, 2009 at 6:20 AM, Michal Suchanek wrote:
Hello
I tried to get some borders into the previous demo but I got overlapping
panels.
This should not happen bec
> Perhaps the naming of margin_* property is a little misleading,
> perhaps I can rename them distance_* to remind it they're used as
> fixed distance to borders of parent.
That's undoubtedly the problem.
For example, Motif uses the term "attach" to achieve fixed distance
from the edge of the par
Hi,
Version 1.97~beta4 of GNU GRUB has been released.
--
Robert Millan
The DRM opt-in fallacy: "Your data belongs to us. We will decide when (and
how) you may access your data; but nobody's threatening your freedom: we
still allow you to remove your data and not access it at all."
I'm trying to follow the instructions on this wiki page:
http://grub.enbug.org/PXEBOOT
and I'm getting "error: no such disk", followed by the "grub rescue>"
prompt. If I try `pxe --info` on that prompt, I get:
"error: no pxe environment"
I'm using "grub-pc 1.97~beta3-1ubuntu7" from Ubuntu Karm
On Mon, Oct 5, 2009 at 9:33 PM, Michal Suchanek wrote:
> 2009/10/5 Bean :
>> On Mon, Oct 5, 2009 at 5:07 PM, Michal Suchanek wrote:
>>> A panel should never be removed from layout management, it then
>>> becomes pointless.
>>>
>>> A top-aligned panel should be done with alignment, and should be o
On Tue, Oct 6, 2009 at 1:52 AM, richardvo...@gmail.com
wrote:
>> Perhaps the naming of margin_* property is a little misleading,
>> perhaps I can rename them distance_* to remind it they're used as
>> fixed distance to borders of parent.
>
> That's undoubtedly the problem.
>
> For example, Motif u
On Mon, Oct 5, 2009 at 9:40 PM, Michal Suchanek wrote:
> 2009/10/5 Bean :
>> On Mon, Oct 5, 2009 at 5:07 PM, Michal Suchanek wrote:
>>> 2009/10/5 Bean :
On Mon, Oct 5, 2009 at 6:20 AM, Michal Suchanek
wrote:
> Hello
>
> I tried to get some borders into the previous demo bu
> Hi,
>
> I think you've overlooked a detail about grub's menu layout. The
> smallest elements, text and image, both have fixed size, The largest
> element, the screen, also have fixed size, therefore, we need to
> adjust the middle layers to fit both ends, it's not as simple as it
> seems.
>
> The
13 matches
Mail list logo
