Patch title: Release 93 bulk changes
Abstract:
File: /protocol/http/default.page
Key:
    Removed line
    Added line
   
module "/pliant/language/context.pli"
module "/pliant/language/unsafe.pli"
module "/pliant/language/stream.pli"
module "/pliant/admin/file.pli"
module "/pliant/graphic/image/prototype.pli"
module "/pliant/graphic/image/pixmap.pli"
module "/pliant/graphic/image/resampling.pli"
module "/pliant/graphic/image/sharpening.pli"
module "/pliant/graphic/image/antialiasing.pli"
module "/pliant/graphic/color/gamut.pli"
module "/pliant/graphic/filter/io.pli"
module "/pliant/math/transform.pli"
module "/pliant/graphic/vector/outline.pli"
module "/pliant/graphic/vector/font.pli"
module "/pliant/graphic/misc/float.pli"
module "/pliant/util/encoding/http.pli"
module "/pliant/util/encoding/date.pli"
module "/pliant/protocol/http/style/common.pli"
module "cache.pli"


function javascript browser s
  arg Str browser ; arg_rw Stream s
  s writeline "function refresh(focus) {"
module "/pliant/language/context.pli"
module "/pliant/language/unsafe.pli"
module "/pliant/language/stream.pli"
module "/pliant/admin/file.pli"
module "/pliant/graphic/image/prototype.pli"
module "/pliant/graphic/image/pixmap.pli"
module "/pliant/graphic/image/resampling.pli"
module "/pliant/graphic/image/sharpening.pli"
module "/pliant/graphic/image/antialiasing.pli"
module "/pliant/graphic/color/gamut.pli"
module "/pliant/graphic/filter/io.pli"
module "/pliant/math/transform.pli"
module "/pliant/graphic/vector/outline.pli"
module "/pliant/graphic/vector/font.pli"
module "/pliant/graphic/misc/float.pli"
module "/pliant/util/encoding/http.pli"
module "/pliant/util/encoding/date.pli"
module "/pliant/protocol/http/style/common.pli"
module "cache.pli"


function javascript browser s
  arg Str browser ; arg_rw Stream s
  s writeline "function refresh(focus) {"
  # s writeline "  if(document.pliant._pliant_reload.value==
  # s writeline "    window.status='Pliant reload'"
  # s writeline "    window.location.reload(true)"
  # s writeline "    return"
  # s writeline "  }"
  s writeline "  if(focus) window.focus()"
  s writeline "  if(window.name.substring(0,6)=='_back_' && 
  s writeline "    var count = window.name.charCodeAt(6)-64"
  s writeline "    window.name = window.name.substring(8,win
  s writeline "    window.history.go(-count)"
  s writeline "    return"
  s writeline "  }"
  s writeline "  if(window.name.substring(0,8)=='_reload_') 
  s writeline "    window.name = window.name.substring(8,win
  s writeline "  if(focus) window.focus()"
  s writeline "  if(window.name.substring(0,6)=='_back_' && 
  s writeline "    var count = window.name.charCodeAt(6)-64"
  s writeline "    window.name = window.name.substring(8,win
  s writeline "    window.history.go(-count)"
  s writeline "    return"
  s writeline "  }"
  s writeline "  if(window.name.substring(0,8)=='_reload_') 
  s writeline "    window.name = window.name.substring(8,win
  s writeline "    window.location = window.location.href"
  # s writeline "    window.location = window.location.href"
  s writeline "    top.window.location = top.window.location.href"
  s writeline "    return"
  s writeline "  }"
  s writeline "  while(window.name.substring(0,4)=='_xy_' &&
  s writeline "    var spos = window.name.substring(4,12)"
  s writeline "    var xpos = (spos.charCodeAt(0)-65)*17576+
  s writeline "    var ypos = (spos.charCodeAt(4)-65)*17576+
  s writeline "    window.scrollTo(xpos,ypos)"
  s writeline "    window.name = window.name.substring(13,wi
  s writeline "  }"
  s writeline "}"


  s writeline "    return"
  s writeline "  }"
  s writeline "  while(window.name.substring(0,4)=='_xy_' &&
  s writeline "    var spos = window.name.substring(4,12)"
  s writeline "    var xpos = (spos.charCodeAt(0)-65)*17576+
  s writeline "    var ypos = (spos.charCodeAt(4)-65)*17576+
  s writeline "    window.scrollTo(xpos,ypos)"
  s writeline "    window.name = window.name.substring(13,wi
  s writeline "  }"
  s writeline "}"