diff -up mysql-workbench-gpl-5.2.45-src/plugins/wb.doclib/Makefile.am.nodocs mysql-workbench-gpl-5.2.45-src/plugins/wb.doclib/Makefile.am --- mysql-workbench-gpl-5.2.45-src/plugins/wb.doclib/Makefile.am.nodocs 2012-12-27 16:42:48.000000000 +0100 +++ mysql-workbench-gpl-5.2.45-src/plugins/wb.doclib/Makefile.am 2012-12-29 11:42:54.426723085 +0100 @@ -2,11 +2,5 @@ pylibdir=$(libdir)/@PACKAGE@/modules pylib_DATA=\ - mysqldoclib.py\ wb_doclib_grt.py -docdatadir=$(datadir)/mysql-workbench/modules/data/DocLibrary -docdata_DATA=\ -res/DocLibrary/mysqldoclib.sqlite\ -res/DocLibrary/mysqldoclib_webui.sqlite - diff -up mysql-workbench-gpl-5.2.45-src/plugins/wb.doclib/wb_doclib_grt.py.nodocs mysql-workbench-gpl-5.2.45-src/plugins/wb.doclib/wb_doclib_grt.py --- mysql-workbench-gpl-5.2.45-src/plugins/wb.doclib/wb_doclib_grt.py.nodocs 2012-12-29 11:45:01.843098903 +0100 +++ mysql-workbench-gpl-5.2.45-src/plugins/wb.doclib/wb_doclib_grt.py 2012-12-29 11:45:39.478209799 +0100 @@ -91,47 +91,7 @@ server_port = None def openDocLib(): global docLibTab global server_port - if docLibTab: - if docLibTab is True: # this will be True if an external browser is used - Utilities.open_url("http://localhost:%i"%server_port) - return 1 - App.get().select_view(docLibTab) - return 1 - - app = App.get() - - try: - import mysqldoclib - except ImportError: - Utilities.show_error("Cannot Open Documentation Library", - '''pysqlite2 is not installed, please install python-sqlite2 or pysqlite2 to be able to use this feature. -Try running "easy_install pysqlite" with superuser privileges in the command line shell or, if using -Ubuntu, enable the Universe repository and install the python-pysqlite2 package from there.''', - "OK", "", "") - return 0 - - if server_port is None: - ready_event = Event() - - #datadir = "./modules/data/DocLibrary/" - datadir = os.path.join(app.get_resource_path(""), "modules/data/DocLibrary") - - thread.start_new_thread(run_server, (datadir, ready_event)) - - # wait up to 1s for the doclib server to start - ready_event.wait(1) - - if platform.system() == "Linux": - docLibTab = True - Utilities.open_url("http://localhost:%i"%server_port) - return 1 - docLibTab = DocLibTab(server_port) - docLibTab.set_identifier("wb.doclib") - - app.dock_view(docLibTab, "maintab") - app.set_view_title(docLibTab, "Doc Library (loading)") - - app.set_status_text("Opening Doc Library...") + Utilities.open_url("http://dev.mysql.com/doc/index-gui.html") return 1