--- a/console/libgnt/gnt.h	Sat Jun 24 22:52:59 2006 +0000
+++ b/console/libgnt/gnt.h	Sun Jun 25 03:15:41 2006 +0000
@@ -3,15 +3,11 @@
 #include "gntcolors.h"
 #include "gntkeys.h"
 
-/* XXX: Find a better place for this */
-#define SCROLL_HEIGHT	4096
-#define SCROLL_WIDTH 512
-
 void gnt_init();
 
 void gnt_main();
 
-void gnt_screen_take_focus(GntWidget *widget);
+void gnt_screen_occupy(GntWidget *widget);
 
-void gnt_screen_remove_widget(GntWidget *widget);
+void gnt_screen_release(GntWidget *widget);