Lines Matching full:browser
885 # built-in source browser. The htags tool is part of GNU's global source
1190 # is generated for HTML Help). For this to work a browser that supports
1191 # JavaScript, DHTML, CSS and frames is required (i.e. any modern browser).
1260 # and DHTML and should work on any modern browser. Note that when using
1806 # Note that this requires a modern browser other than Internet Explorer.
