Patch title: Release 94 bulk changes
Abstract:
File: /pliant/appli/photo/env.pli
Key:
    Removed line
    Added line
module "/pliant/protocol/http/uvar.pli"

public
  uvar Str screen_options
  uvar Int resample_antialiasing_x resample_antialiasing_y <- 4
  uvar Int icon_size_x icon_size_y <- 150
  uvar Int icon_columns <- 4
  uvar Float icon_quality <- 0.9
  uvar Int edit_size_x edit_size_y <- 500
  uvar Str edit_format <- "png"
  uvar Float edit_quality <- 0.9
  uvar Int control_size_x control_size_y <- 200
  uvar Int zoom_size_x zoom_size_y <- 500

  uvar Bool advanced <- false

  uvar Str default_printer
  uvar Float print_mm_x print_mm_y <- 100

  uvar Float print_page_x <- 210
  uvar Float print_page_y <- 280
  uvar Int print_nb_x <- 2
  uvar Int print_nb_y <- 2
  uvar Float print_border <- 5
  uvar Set:Void print_selected