summaryrefslogtreecommitdiff
path: root/ide/utils/configwin_messages.ml
blob: a608513841879dccf2dcac71600db7e0426e2361 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
(**************************************************************************)
(*                   Cameleon                                             *)
(*                                                                        *)
(*      Copyright (C) 2002 Institut National de Recherche en Informatique et   *)
(*      en Automatique. All rights reserved.                              *)
(*                                                                        *)
(*      This program is free software; you can redistribute it and/or modify  *)
(*      it under the terms of the GNU General Public License as published by  *)
(*      the Free Software Foundation; either version 2 of the License, or  *)
(*      any later version.                                                *)
(*                                                                        *)
(*      This program is distributed in the hope that it will be useful,   *)
(*      but WITHOUT ANY WARRANTY; without even the implied warranty of    *)
(*      MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the     *)
(*      GNU General Public License for more details.                      *)
(*                                                                        *)
(*      You should have received a copy of the GNU General Public License  *)
(*      along with this program; if not, write to the Free Software       *)
(*      Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA          *)
(*      02111-1307  USA                                                   *)
(*                                                                        *)
(*      Contact: Maxence.Guesdon@inria.fr                                *)
(**************************************************************************)

(** Module containing the messages of Configwin.*)

let software = "Configwin";;
let version = "1.3";;

let html_config = "Configwin bindings configurator for html parameters"

let home =
  try Sys.getenv "HOME"
  with Not_found -> ""

let mCapture = "Capture";;
let mType_key = "Type key" ;;
let mAdd = "Add";;
let mRemove = "Remove";;
let mUp = "Up";;
let mEdit = "Edit";;
let mOk = "Ok";;
let mCancel = "Cancel";;
let mApply = "Apply";;
let mValue = "Value"
let mKey = "Key"

let shortcuts = "Shortcuts"
let html_end = "End with"
let html_begin = "Begin with"