[orca] Adapted orca_gui_splash to orca_platform.

[Alejandro Leiva <aleiva src gnome org>]

commit 7d838ebfaa50732a9fc3c2480e82e66d9170c268
Author: Alejandro Leiva <aleiva emergya es>
Date:   Tue Aug 17 02:29:55 2010 +0200

    Adapted orca_gui_splash to orca_platform.

 src/orca/orca_gui_splash.py |   14 +++++++-------
 1 files changed, 7 insertions(+), 7 deletions(-)
---
diff --git a/src/orca/orca_gui_splash.py b/src/orca/orca_gui_splash.py
index 8cef788..4a2aef8 100644
--- a/src/orca/orca_gui_splash.py
+++ b/src/orca/orca_gui_splash.py
@@ -35,7 +35,7 @@ import locale
 
 import orca_gtkbuilder
 import orca_state
-import platform
+import orca_platform
 
 from orca_i18n import _
 
@@ -62,9 +62,9 @@ class OrcaSplashGUI(orca_gtkbuilder.GtkBuilderWrapper):
     def showGUI(self):
         """ Show the splash screen dialog. """
 
-        imageFile = os.path.join(platform.prefix,
-                    platform.datadirname,
-                    platform.package,
+        imageFile = os.path.join(orca_platform.prefix,
+                    orca_platform.datadirname,
+                    orca_platform.package,
                     "gfx",
                     "orca-splash.png")
 
@@ -96,9 +96,9 @@ def showSplashUI():
     global OS
 
     if not OS:
-        uiFile = os.path.join(platform.prefix,
-                platform.datadirname,
-                platform.package,
+        uiFile = os.path.join(orca_platform.prefix,
+                orca_platform.datadirname,
+                orca_platform.package,
                 "ui",
                 "orca-splash.ui")