File: deskpager.h

package info (click to toggle)
gxtuner 2.1-1
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 708 kB
  • ctags: 367
  • sloc: cpp: 8,728; makefile: 142
file content (56 lines) | stat: -rw-r--r-- 1,824 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
/*
 * Copyright (C) 2011 Hermann Meyer, Andreas Degert
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 2 of the License, or
 * (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
 * ---------------------------------------------------------------------------
 *
 *        file: deskpager.h   set and get the virtual desktop for a gtkwindow
 *
 * ----------------------------------------------------------------------------
 */

#pragma once

#ifndef _DESKPAGER_H_
#define _DESKPAGER_H_

#include <gtk/gtk.h>
#include <gdk/gdkx.h>


class DeskPager {
 private:
    GdkAtom         actual_property_type;
    int             actual_format;
    int             actual_length;
    gint            desktops_count;
    gint            num_desktop;
    Display         *display;
    Window          root_win;
    GdkDisplay      *displays;
    XEvent          xevent;
    long            *data;
    guint           get_all_desktops ();
 public:
    explicit DeskPager();
    ~DeskPager();
    void            move_window_to_desktop(guint desktop_num,
                                           GtkWidget * window);
    gint            get_active_desktop_for_window (GtkWidget * window);
};
extern DeskPager dp;


#endif // _DESKPAGER_H_