espcially generating API documentation in HTML format from
doc comments in source code.
Also, ANTLR (ANother Tool for Language Recognition) is used; this is
a language tool that provides a framework for constructing recognizers,
compilers, and translators from grammatical descriptions containing
Java, C#, C++, or Python actions.
WWW: http://www.gnu.org/software/classpath/cp-tools/http://www.antlr.org/
www.ubuntuforums.org. This is not the old gtk2 patch used before but
the current gtk2 support in Mplayer's CVS. Unlike gtk12 support, gtk20
support will not be autodetected since it's still an unofficial patch.
Please use WITH_GTK2 to use.
PR: 95558
Submitted by: Me
Approved by: Maintainer
Obtained from: http://www.ubuntuforums.org/archive/index.php/t-78037.html
The DesktopBSD Tools are a collection of applications designed
to make life easier and increase productivity. Even inexperienced
users can easily perform administrative tasks efficiently, such
as configuring wireless networks, accessing USB storage devices or
installing and upgrading software.
WWW: http://desktopbsd.net/
PR: ports/95526
Submitted by: Peter Hofer <ph@desktopbsd.net>
and is based on the Mozilla codebase. It is small, fast and easy to use, and
offers many advanced features:
o Popup Blocking
o Tabbed Browsing
o Live Bookmarks (ie. RSS)
o Extensions
o Themes
o FastFind
o Improved Security
Repo-copied from: www/firefox
Repo-copied by: marcus
Explorer compatibility.
Note that I omitted marking some really old mozilla versions as
vulnerable this time, since there is already a bunch of entries
covering these versions (which haven't been in ports for a while).
It includes such features as duplicating tabs, controlling
tab focus, tab clicking options, undo closed tabs and windows,
plus much more. It also includes a full-featured session
manager with crash recovery that can save and restore
combinations of opened tabs and windows.
WWW: http://tmp.garyr.net/
PR: ports/95076
Submitted by: Andrew Pantyukhin <infofarmer (at) gmail.com>
or Flock browser: this extension allows JavaScript and Java
execution only for trusted domains of your choice (e.g. your
home-banking web site).
This whitelist based pre-emptive script blocking approach
prevents exploitation of security vulnerabilities (known and
even not known yet!) with no loss of functionality...
WWW: http://www.noscript.net/
PR: ports/95076
Submitted by: Andrew Pantyukhin <infofarmer (at) gmail.com>
settings such as simultaneous connections, pipelining,
cache, DNS cache, and initial paint delay.
Dynamic speed increases can be obtained with the unique
prefetching mechanism, which recycles idle bandwidth by
silently loading and caching all of the links on the page
you are browsing.
WWW: http://fasterfox.mozdev.org/
PR: ports/95076
Submitted by: Andrew Pantyukhin <infofarmer (at) gmail.com>
strong colorful appeal. Colors every tab in a different
color and makes them easy to distinguish while beautifying
the overall appearance of the interface. An essential.
WWW: https://addons.mozilla.org/extensions/moreinfo.php?id=1368
PR: ports/95076
Submitted by: Andrew Pantyukhin <infofarmer (at) gmail.com>
It is both more robust and more precise than the built-in image blocker.
Adblock allows the user to specify filters, which remove unwanted content based
on the source-address.
WWW: http://adblock.mozdev.org/
Note: the included www/xpi-adblock/Makefile.xpi is used for browsers
based on Gecko >= 1.8 (e.g. Firefox >= 1.5). Older browsers must use
extensions which rely on www/mozex/Makefile.xpi.
PR: ports/95076
Submitted by: Andrew Pantyukhin <infofarmer (at) gmail.com>
