From 93195a096277133e7648512157314f3ed7580f57 Mon Sep 17 00:00:00 2001
From: Jon Dowland <jon@alcopop.org>
Date: Tue, 29 Jan 2008 18:15:43 +0000
Subject: [PATCH] scale the patch up three times.

---
 tools/cleanroom/tmp_cleanui.py | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/tools/cleanroom/tmp_cleanui.py b/tools/cleanroom/tmp_cleanui.py
index 880328c0..474597c7 100644
--- a/tools/cleanroom/tmp_cleanui.py
+++ b/tools/cleanroom/tmp_cleanui.py
@@ -12,6 +12,14 @@ class HellowWorldGTK:
 		
 		self.image1 = self.wTree.get_widget("orig_texture")
 		self.image1.set_from_file("sw2_1.gif")
+		pixbuf = self.image1.get_pixbuf()
+		if pixbuf:
+			scale = 3
+			self.image1.set_from_pixbuf(pixbuf.scale_simple(
+				pixbuf.get_width()  * scale,
+				pixbuf.get_height() * scale,
+				gtk.gdk.INTERP_NEAREST
+			))
 		
 		self.wTree.get_widget("window1").connect("destroy", gtk.main_quit)