Blame frx/frx_fillbox.ml

Packit bd2e5d
(***********************************************************************)
Packit bd2e5d
(*                                                                     *)
Packit bd2e5d
(*                 MLTk, Tcl/Tk interface of OCaml                     *)
Packit bd2e5d
(*                                                                     *)
Packit bd2e5d
(*    Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis    *)
Packit bd2e5d
(*               projet Cristal, INRIA Rocquencourt                    *)
Packit bd2e5d
(*            Jacques Garrigue, Kyoto University RIMS                  *)
Packit bd2e5d
(*                                                                     *)
Packit bd2e5d
(*  Copyright 2002 Institut National de Recherche en Informatique et   *)
Packit bd2e5d
(*  en Automatique and Kyoto University.  All rights reserved.         *)
Packit bd2e5d
(*  This file is distributed under the terms of the GNU Library        *)
Packit bd2e5d
(*  General Public License, with the special exception on linking      *)
Packit bd2e5d
(*  described in file LICENSE found in the OCaml source tree.          *)
Packit bd2e5d
(*                                                                     *)
Packit bd2e5d
(***********************************************************************)
Packit bd2e5d
open Camltk
Packit bd2e5d
Packit bd2e5d
(*
Packit bd2e5d
 * Progress indicators
Packit bd2e5d
 *)
Packit bd2e5d
let okcolor = NamedColor "#3cb371"
Packit bd2e5d
and kocolor = NamedColor "#dc5c5c"
Packit bd2e5d
Packit bd2e5d
Packit bd2e5d
let new_vertical parent w h =
Packit bd2e5d
  let c = Canvas.create_named parent "fillbox"
Packit bd2e5d
            [Width (Pixels w); Height (Pixels h); BorderWidth (Pixels 1);
Packit bd2e5d
             Relief Sunken]
Packit bd2e5d
  in
Packit bd2e5d
  let i = Canvas.create_rectangle c (Pixels 0) (Pixels 0) (Pixels w) (Pixels 0)
Packit bd2e5d
            [FillColor okcolor; Outline okcolor]
Packit bd2e5d
  in
Packit bd2e5d
    c, (function
Packit bd2e5d
           0 -> Canvas.configure_rectangle c i [FillColor okcolor;
Packit bd2e5d
                                                Outline okcolor];
Packit bd2e5d
                Canvas.coords_set c i [Pixels 0; Pixels 0;
Packit bd2e5d
                                        Pixels w; Pixels 0]
Packit bd2e5d
         | -1 -> Canvas.configure_rectangle c i [FillColor kocolor;
Packit bd2e5d
                                                 Outline kocolor]
Packit bd2e5d
         | n ->
Packit bd2e5d
             let percent = if n > 100 then 100 else n in
Packit bd2e5d
             let hf = percent*h/100 in
Packit bd2e5d
               Canvas.coords_set c i [Pixels 0; Pixels 0;
Packit bd2e5d
                                       Pixels w; Pixels hf])
Packit bd2e5d
Packit bd2e5d
let new_horizontal parent w h =
Packit bd2e5d
  let c = Canvas.create_named parent "fillbox"
Packit bd2e5d
            [Width (Pixels w); Height (Pixels h); BorderWidth (Pixels 1);
Packit bd2e5d
             Relief Sunken]
Packit bd2e5d
  in
Packit bd2e5d
  let i = Canvas.create_rectangle c (Pixels 0) (Pixels 0) (Pixels 0) (Pixels h)
Packit bd2e5d
            [FillColor okcolor; Outline okcolor]
Packit bd2e5d
  in
Packit bd2e5d
    c, (function
Packit bd2e5d
           0 -> Canvas.configure_rectangle c i [FillColor okcolor;
Packit bd2e5d
                                                Outline okcolor];
Packit bd2e5d
                Canvas.coords_set c i [Pixels 0; Pixels 0;
Packit bd2e5d
                                        Pixels 0; Pixels h]
Packit bd2e5d
         | -1 -> Canvas.configure_rectangle c i [FillColor kocolor;
Packit bd2e5d
                                                 Outline kocolor]
Packit bd2e5d
         | n ->
Packit bd2e5d
             let percent = if n > 100 then 100 else n in
Packit bd2e5d
             let wf = percent*w/100 in
Packit bd2e5d
               Canvas.coords_set c i [Pixels 0; Pixels 0;
Packit bd2e5d
                                       Pixels wf; Pixels h])