DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - metrics - download
Index: T V

⟦f3f8ce3eb⟧ TextFile

    Length: 1325 (0x52d)
    Types: TextFile
    Names: »V«

Derivation

└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
    └─⟦5cb1d1d7f⟧ »DATA« 
        └─⟦3b1ee7bd8⟧ 
            └─⟦this⟧

TextFile

with Window_Io;
with Set_Generic;
with New_Keys;
generic
    type Element is private;
    with function Line_Image (E : Element) return String;

    Quit_Key : New_Keys.Key_Type := New_Keys.Enter;

    with function Is_Applicative_Key
                     (Command : New_Keys.Key_Type) return Boolean;
    with procedure Apply (Command : New_Keys.Key_Type; E : in out Element);

    with function Is_Executable_Key
                     (Command : New_Keys.Key_Type) return Boolean;
    with procedure Execute (Command : New_Keys.Key_Type;
                            Redisplay : out Boolean);

package Multiple_Selection_Menu is

    subtype Menu_Window is Window_Io.File_Type;

    type Menu_Definition is private;

    function Make return Menu_Definition;

    procedure Add (E : Element; To : in out Menu_Definition);

    procedure Create (Menu : Menu_Window;
                      Font : Window_Io.Font := Window_Io.Normal;
                      Definition : Menu_Definition);

    Redisplay_Required : exception;

private
    type Menu_Node;
    type Menu_Definition is access Menu_Node;

    type Menu_Node is
        record
            Elem : Element;
            Line_Number : Positive;
            Next : Menu_Definition;
            Previous : Menu_Definition;
        end record;

end Multiple_Selection_Menu;