--- a/dwt/printing/Printer.d	Sun Jan 27 16:20:03 2008 +0100
+++ b/dwt/printing/Printer.d	Thu Jan 31 19:04:56 2008 +0100
@@ -290,7 +290,7 @@
  *    <li>ERROR_DEVICE_DISPOSED - if the receiver has been disposed</li>
  * </ul>
  */
-public Font getSystemFont () {
+public override Font getSystemFont () {
     checkDevice ();
     if (systemFont !is null) return systemFont;
     auto style = OS.gtk_widget_get_default_style();
@@ -311,7 +311,7 @@
  * @param data the platform specific GC data
  * @return the platform specific GC handle
  */
-public GdkGC* internal_new_GC(GCData data) {
+public override GdkGC* internal_new_GC(GCData data) {
     auto drawable = OS.gdk_pixmap_new(OS.GDK_ROOT_PARENT(), 1, 1, 1);
     auto gdkGC = OS.gdk_gc_new (drawable);
     if (gdkGC is null) DWT.error (DWT.ERROR_NO_HANDLES);
@@ -346,7 +346,7 @@
  * @param hDC the platform specific GC handle
  * @param data the platform specific GC data
  */
-public void internal_dispose_GC(GdkGC* gdkGC, GCData data) {
+public override void internal_dispose_GC(GdkGC* gdkGC, GCData data) {
     if (data !is null) isGCCreated = false;
     OS.g_object_unref (gdkGC);
     if (data !is null) {
@@ -524,7 +524,7 @@
  *    <li>ERROR_DEVICE_DISPOSED - if the receiver has been disposed</li>
  * </ul>
  */
-public Point getDPI() {
+public override Point getDPI() {
     checkDevice();
     int resolution = OS.gtk_print_settings_get_resolution(settings);
     if (DEBUG) tango.io.Stdout.Stdout.formatln("print_settings.resolution={}", resolution);
@@ -547,7 +547,7 @@
  * @see #getClientArea
  * @see #computeTrim
  */
-public Rectangle getBounds() {
+public override Rectangle getBounds() {
     checkDevice();
     //TODO: We are supposed to return this in pixels, but GTK_UNIT_PIXELS is currently not implemented (gtk bug 346245)
     double width = OS.gtk_page_setup_get_paper_width (pageSetup, OS.GTK_UNIT_POINTS);
@@ -570,7 +570,7 @@
  * @see #getBounds
  * @see #computeTrim
  */
-public Rectangle getClientArea() {
+public override Rectangle getClientArea() {
     checkDevice();
     //TODO: We are supposed to return this in pixels, but GTK_UNIT_PIXELS is currently not implemented (gtk bug 346245)
     double width = OS.gtk_page_setup_get_page_width(pageSetup, OS.GTK_UNIT_POINTS);