diff options
Diffstat (limited to 'gtk-recordmydesktop/src/rmdFrame.py')
-rw-r--r-- | gtk-recordmydesktop/src/rmdFrame.py | 102 |
1 files changed, 102 insertions, 0 deletions
diff --git a/gtk-recordmydesktop/src/rmdFrame.py b/gtk-recordmydesktop/src/rmdFrame.py new file mode 100644 index 0000000..f5187e4 --- /dev/null +++ b/gtk-recordmydesktop/src/rmdFrame.py @@ -0,0 +1,102 @@ +#/********************************************************************************* +#* gtk-recordMyDesktop * +#********************************************************************************** +#* * +#* Copyright (C) 2006 John Varouhakis * +#* * +#* * +#* 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., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA * +#* * +#* * +#* * +#* For further information contact me at johnvarouhakis@gmail.com * +#**********************************************************************************/ +import pygtk +pygtk.require('2.0') +import gtk + +class rmdFrame: + borderwidth=6 + outlinewidth=1 + + def __init__(self,x,y,w,h): + self.window=gtk.Window(gtk.WINDOW_TOPLEVEL) + self.area=gtk.DrawingArea() + self.x=x + self.y=y + self.w=w + self.h=h + + mask = gtk.gdk.Pixmap(None, + self.w+self.borderwidth*2, + self.h+self.borderwidth*2, + 1) + gc = mask.new_gc() + gc.foreground = gtk.gdk.Color(0,0,0,1) + mask.draw_rectangle(gc,True,0,0, + self.w+self.borderwidth*2, + self.h+self.borderwidth*2) + gc.foreground = gtk.gdk.Color(0, 0, 0, 0) + mask.draw_rectangle(gc,True, + self.borderwidth, + self.borderwidth, + self.w,self.h) + + self.area.show() + self.window.stick() + self.window.set_keep_above(True) + self.area.connect("expose-event", self.__expose_cb) + self.window.shape_combine_mask(mask,0,0) + self.window.set_type_hint(gtk.gdk.WINDOW_TYPE_HINT_DOCK) + self.window.set_title("gtk-recordMyDesktop frame") + self.window.stick() + self.window.set_keep_above(True) + self.window.add(self.area) + self.window.show() + + self.window.set_size_request(self.w+self.borderwidth*2, + self.h+self.borderwidth*2) + self.window.move(self.x-self.borderwidth, + self.y-self.borderwidth) + self.window.set_resizable(False) + + + def __expose_cb(self, widget, event): + if widget==self.area: + self.area.window.draw_rectangle(self.window.style.white_gc, + True,0,0,self.w+self.borderwidth*2, + self.h+self.borderwidth*2) + self.area.window.draw_rectangle(self.window.style.black_gc, + True,self.outlinewidth, + self.outlinewidth, + self.w+(self.borderwidth- + self.outlinewidth)*2, + self.h+(self.borderwidth- + self.outlinewidth)*2) + self.area.window.draw_rectangle(self.window.style.white_gc, + True, + self.borderwidth-self.outlinewidth, + self.borderwidth-self.outlinewidth, + self.w+self.outlinewidth*2, + self.h+self.outlinewidth*2) + else: + pass + + def destroy(self): + self.area.destroy() + try: + self.window.destroy() + except: + pass |