Patch title: Release 85 bulk changes
Abstract:
File: /pliant/graphic/browser/prototype.pli
Key:
    Removed line
    Added line
   
# Copyright  Hubert Tonneau  hubert.tonneau@pliant.cx
#
# This program is free software; you can redistribute it and
# modify it under the terms of the GNU General Public Licens
# as published by the Free Software Foundation.
#
# This program is distributed in the hope that it will be us
# but WITHOUT ANY WARRANTY; without even the implied warrant
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See 
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public 
# version 2 along with this program; if not, write to the Fr
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 


# Copyright  Hubert Tonneau  hubert.tonneau@pliant.cx
#
# This program is free software; you can redistribute it and
# modify it under the terms of the GNU General Public Licens
# as published by the Free Software Foundation.
#
# This program is distributed in the hope that it will be us
# but WITHOUT ANY WARRANTY; without even the implied warrant
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See 
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public 
# version 2 along with this program; if not, write to the Fr
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 


if (file_query "embedded:/usr/share/fonts/type1/gsfonts/n019
  console "Font embedded:/usr/share/fonts/type1/gsfonts/n019
gvar Link:Font default_font :> font_postscript "embedded:/us
gvar Link:Font default_font :> font "Times"
if false # not exists:default_font
  console "Scanning your /usr/ directory for fonts ..." eol
  font_scan "embedded:/usr/"
  default_font :> font "Times"
  if not exists:default_font
    console "Could not find Times font in your system !" eol
  else
    console "done." eol


gvar Dictionary html_tags


gvar Dictionary html_tags