[Notion-devel] Reimplementation of the elastic tabs.

[Tomáš E. <eb...@dr...>]

I reimplemented the elastic/proportional tab widths in following patches.
They are already commited in http://drak.ucw.cz/~ebik/git/notion .


It is not enabled by default. It has to be selected in frame's style.  See
example below.

I did not included the user documentation in the patches, as we have not the
sources of the document "Configuring and Extending Ion with Lua". The document
is GPL'ed, thus we should be able to get the sources of the document.  I attach
it below in the form of the example.

Following should be added to your style, to allow 'elastic' algorithm.  I also
document here options that are already documented in the section "4.3.2 Extra
fields for style `frame'" of "Configuring and Extending Ion with Lua".

de.defstyle("frame", {
    --[[
    Difference between elastic and proportional is when there is plenty free
    space and the frame is not shaped. Elastic wants equal sized tabs, with
    long titles longer.  Proportional wants distribute free space equally
    among the tabs.
    ]]--
    -- frame_tab_width_alg = "equal",
    frame_tab_width_alg = "elastic",
    -- frame_tab_width_alg = "proportional",

    --[[
    Minimum size of a tab.
    This size is maintained as long as no other tab has to be truncated in the
    case of the 'proportional' or 'elastic' algorithm.
    Also minimun size of a tab in shaped frame (for all algorithms).
    ]]--
    -- frame_tab_min_w = 100

    --[[
    Minimum size of an elastic/proportional tab.
    Elastic/proportional algorithms truncate other tabs rather than shortening
    a short tab below this size.
    ]]--
    -- frame_propor_tab_min_w = 50

    --[[
    Minimum size of an elastic/proportional tab.
    Elastic/proportional algorithms truncate other tabs rather than shortening
    a short tab below this size.
    ]]--
    -- floatframe_tab_min_w = 50
})