[orca/new-settings] Renamed orca.platform to orca.orca_platform at miising file orca_gui_profile.py

[Juanje Ojeda Croissier <jojeda src gnome org>]

commit e3d27b401f7b429de12f3e365fb7977dd94820d2
Author: Juanje Ojeda <jojeda emergya es>
Date:   Mon Oct 4 11:43:00 2010 +0200

    Renamed orca.platform to orca.orca_platform at miising file orca_gui_profile.py

 src/orca/orca_gui_profile.py |    8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/src/orca/orca_gui_profile.py b/src/orca/orca_gui_profile.py
index 4831cac..60279c9 100644
--- a/src/orca/orca_gui_profile.py
+++ b/src/orca/orca_gui_profile.py
@@ -35,7 +35,7 @@ import locale
 import find
 import orca_gtkbuilder
 import orca_state
-import platform
+import orca_platform
 
 from orca_i18n import _  # for gettext support
 
@@ -168,9 +168,9 @@ def showProfileUI():
     newProfile = None
 
     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-profile.ui")
         OS = OrcaProfileGUI(uiFile, "profileDialog")