[eclipse-clp-users] Reset Settings

From: Christian Wirth <tyrion_at_geek-squad.de>
Date: Tue, 13 Apr 2010 17:08:26 +0200

.. i set some stupid settings in the TkEclipse Preference Editor and now 
it's not starting anymore. Reinstall did not help,
so how can i reset/change the settings without getting into the Edtior ?

best regards Christian Wirth

Received on Tue Apr 13 2010 - 15:07:58 CEST

This message: [ Message body ]
Next message: Philipp Marcus: "[eclipse-clp-users] IC produces unwanted delayed goals"
Previous message: Wit Jakuczun: "Re: [eclipse-clp-users] Knappsack-Problem Modification"
Next in thread: Kish Shen: "Re: [eclipse-clp-users] Reset Settings"
Reply: Kish Shen: "Re: [eclipse-clp-users] Reset Settings"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET