Commit b7bd7269 authored by MARCHE Claude's avatar MARCHE Claude

Split icons rc file into one file per iconset

parent f4f6c6c1
[iconset boomy]
name = "Boomy"
license = "license.txt"
default = "undone32"
undone = "undone32"
scheduled = "pausehalf32"
running = "play32"
valid = "accept32"
unknown = "help32"
invalid = "delete32"
timeout = "clock32"
outofmemory = "deletefile32"
steplimitexceeded = "cut32"
failure = "bug32"
valid_obs = "obsaccept32"
unknown_obs = "obshelp32"
invalid_obs = "obsdelete32"
timeout_obs = "obsclock32"
outofmemory_obs = "obsdeletefile32"
steplimitexceeded_obs = "cut32"
failure_obs = "obsbug32"
yes = "accept32"
no = "delete32"
file = "folder32"
theory = "folder32"
goal = "file32"
prover = "wizard32"
transf = "configure32"
#TODO change metas
metas = "movefile32"
editor = "edit32"
replay = "refresh32"
cancel = "cut32"
reload = "movefile32"
remove = "delete32"
cleaning = "trashb32"
[iconset boomy]
name = "Boomy"
license = "license.txt"
default = "undone32"
undone = "undone32"
scheduled = "pausehalf32"
running = "play32"
valid = "accept32"
unknown = "help32"
invalid = "delete32"
timeout = "clock32"
outofmemory = "deletefile32"
steplimitexceeded = "cut32"
failure = "bug32"
valid_obs = "obsaccept32"
unknown_obs = "obshelp32"
invalid_obs = "obsdelete32"
timeout_obs = "obsclock32"
outofmemory_obs = "obsdeletefile32"
steplimitexceeded_obs = "cut32"
failure_obs = "obsbug32"
yes = "accept32"
no = "delete32"
file = "folder32"
theory = "folder32"
goal = "file32"
prover = "wizard32"
transf = "configure32"
#TODO change metas
metas = "movefile32"
editor = "edit32"
replay = "refresh32"
cancel = "cut32"
reload = "movefile32"
remove = "delete32"
cleaning = "trashb32"
[iconset fatcow]
name = "FatCow"
license = "readme-fatcow.txt"
......
......@@ -363,13 +363,19 @@ let iconname_reload = ref ""
let iconname_remove = ref ""
let iconname_cleaning = ref ""
let iconsets () =
let iconsets () : (string * Why3.Rc.family) =
let main = get_main () in
let dir = Filename.concat (datadir main) "images" in
let n = Filename.concat dir "icons.rc"
in
let d = Rc.from_file n in
(dir, Rc.get_family d "iconset")
let files = Sys.readdir dir in
let f = ref [] in
Array.iter
(fun fn ->
if Filename.check_suffix fn ".rc" then
let n = Filename.concat dir fn in
let d = Rc.from_file n in
f := List.rev_append (Rc.get_family d "iconset") !f)
files;
(dir, !f)
let load_icon_names () =
let ide = config () in
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment