Obsolete "FORCE" option for REINDEX

Hi developers! Hi Dave!

Testing pgAdmin v.1.8.2 (Feb 5 2008), rev: 7050) on WinXP; host: pg 8.2.6 on
Debian Etch

The "Maintain Database" dialog offers the option "FORCE" for REINDEX.
However, this option has been obsolete since pg 7.4. (Last used in pg 7.3)

http://www.postgresql.org/docs/7.4/static/sql-reindex.html

 > FORCE
 >    This is an obsolete option; it is ignored if specified.


Regards
Erwin