patch: eleminate duplicate declarations in preferences.h

[Ivan Skytte Jørgensen]

SetPrefOpenInTab(), GetPrefOpenInTab() and GetPrefOverrideVirtKeyBindings() 
are declared multiple times in preferences.h.

Patch attached.
-------------- next part --------------
diff -r -U3 nedit.isj4/source/preferences.h nedit.isj5/source/preferences.h
--- nedit.isj4/source/preferences.h     2007-10-08 23:03:02.000000000 +0200
+++ nedit.isj5/source/preferences.h     2007-10-14 11:10:46.000000000 +0200
@@ -211,15 +211,10 @@
 void SetPrefOpenInTab(int state);
 int GetPrefOpenInTab(void);
 void SetPrefUndoModifiesSelection(Boolean);
-void SetPrefOpenInTab(int state);
-int GetPrefOpenInTab(void);
-void SetPrefOpenInTab(int state);
-int GetPrefOpenInTab(void);
 Boolean GetPrefUndoModifiesSelection(void);
 Boolean GetPrefFocusOnRaise(void);
 Boolean GetPrefHonorSymlinks(void);
 Boolean GetPrefForceOSConversion(void);
 void SetPrefFocusOnRaise(Boolean);
-int GetPrefOverrideVirtKeyBindings(void);
 
 #endif /* NEDIT_PREFERENCES_H_INCLUDED */