zoomy.gs

   1 [indent=4]
   2
   3 uses
   4     Gtk
   5     Gdk
   6     GLib
   7
   8 init
   9     Gtk.init( ref args )
  10     var zoomy = new ZoomyWindow()
  11     zoomy.show_all()
  12     Gtk.main();
  13
  14
  15
  16 class ZoomyWindow : Gtk.Window
  17
  18     prop pixbuf : Pixbuf
  19     prop scaled_pixbuf : Pixbuf
  20     prop img : Gtk.Image
  21     //prop pixbuf_width_over_height : double
  22
  23     init
  24         title = "Zoomy"
  25         default_height = 250
  26         default_width = 250
  27         window_position = WindowPosition.CENTER
  28
  29         destroy += Gtk.main_quit
  30
  31         var vbox = new VBox( false, 0 )
  32
  33         //var lbl = new Label( "Press ESC to exit" )
  34         //vbox.add( lbl )
  35         //vbox.set_child_packing( lbl, false, false, 0, PackType.START )
  36
  37         pixbuf = new Pixbuf.from_file( "/home/andy/Desktop/Carys-Fish.jpg" )
  38         //pixbuf_width_over_height = (double)pixbuf.width / (double)pixbuf.height
  39
  40         scaled_pixbuf = new Pixbuf( Colorspace.RGB, false, 8, pixbuf.width, pixbuf.height )
  41
  42         img = new Gtk.Image.from_pixbuf( pixbuf )
  43
  44         vbox.add( img )
  45         vbox.set_child_packing( img, true, true, 0, PackType.START )
  46
  47         add( vbox )
  48
  49         events |= EventMask.POINTER_MOTION_MASK
  50
  51         motion_notify_event += mouse_move
  52         configure_event += config_evt
  53
  54         key_press_event += def( obj, key )
  55             if key.keyval == 65307
  56                 destroy()
  57
  58         //fullscreen()
  59
  60     def mouse_move( obj : ZoomyWindow, evt : Gdk.Event ) : bool
  61         var height = (int)( evt.motion.y * 4 )
  62         var width = 0
  63
  64         if height < 10
  65             height = 10
  66
  67         var scale = (double)height / (double)obj.scaled_pixbuf.height
  68
  69         var dest_width = obj.scaled_pixbuf.width
  70         var dest_height = obj.scaled_pixbuf.height
  71
  72         //var shift_x = ( obj.scaled_pixbuf.width - dest_width ) / 2
  73         //var shift_y = ( obj.scaled_pixbuf.height - dest_height ) / 2
  74
  75         if scale < 1.0
  76             dest_width = (int)( obj.scaled_pixbuf.width * scale )
  77             dest_height = (int)( obj.scaled_pixbuf.height * scale )
  78
  79         obj.pixbuf.scale( obj.scaled_pixbuf, 0, 0, dest_width, dest_height, 0, 0, scale, scale, InterpType.NEAREST )
  80
  81         //print "%d, %d", dest_width, dest_height
  82
  83         var clipped_pixbuf = new Pixbuf.subpixbuf( obj.scaled_pixbuf, 0, 0, dest_width, dest_height )
  84
  85         obj.img.set_from_pixbuf( clipped_pixbuf )
  86         obj.img.show()
  87
  88         return true
  89
  90     def config_evt( obj : ZoomyWindow, evt : Gdk.Event ) : bool
  91         obj.scaled_pixbuf = new Pixbuf( Colorspace.RGB, false, 8, evt.configure.width, evt.configure.height )
  92
  93         return false
  94
  95