/* arch-tag: 76883690-bc50-492c-8ff6-eb6f53f89d8a */

const DISPLAY_MAX = 255;
const XAUTHORITY_MAX = 255;
const NAME_MAX = 255;
const TITLE_MAX = 255;


struct x11_info  {
        uint32_t xwindow;
        string display<DISPLAY_MAX>;
        string xauthority<XAUTHORITY_MAX>;
        string server_vendor<NAME_MAX>;
};

struct seven_info  {
        struct x11_info connections<1>;   /* connections to servers */
        string name<NAME_MAX>;
        string title<TITLE_MAX>;
        string klass<NAME_MAX>;
};

program SEVENPROG {
version SEVENVERS {
        /*void NULLPROC(void) = 0; */
        struct seven_info SPROTO_GETINFO(void) = 1;
        string SPROTO_TEXTSHOT(bool get_all) = 2;
        string SPROTO_ATTACH(struct x11_info x11) = 3;
        void   SPROTO_DETACH(void) = 4;
        void   SPROTO_SWITCHSCREEN(int newscreen) = 5;

} = 1;

} = 0x278232;