diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-11-06 18:30:05 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-11-06 18:31:18 +0100 |
| commit | 1736e9ca46174aba70b05da1e220e07310474f29 (patch) | |
| tree | d800dc787cd2a1927c3e2c046459f609a15bce78 /inst/GUI/gmkin.R | |
| parent | 26e3ea2dd40e3ea62ed6cc3de97a9d4dc8cdda40 (diff) | |
Provide links in the manual viewer instead of the manual
Diffstat (limited to 'inst/GUI/gmkin.R')
| -rw-r--r-- | inst/GUI/gmkin.R | 25 |
1 files changed, 3 insertions, 22 deletions
diff --git a/inst/GUI/gmkin.R b/inst/GUI/gmkin.R index 7a91aef..6001ddc 100644 --- a/inst/GUI/gmkin.R +++ b/inst/GUI/gmkin.R @@ -1294,35 +1294,16 @@ plot.ftmp.savebutton <- gbutton("Save plot", cont = plot.ftmp.saveline, plot.space <- ggroup(cont = plot.gg, horizontal = FALSE, height = 18)
plot.confint.gi <- gimage(NA, container = plot.gg, width = 400, height = 400)
# Manual {{{2
-gmkin_manual <- readLines(system.file("GUI/gmkin_manual.html", package = "gmkin"))
-gmb_start <- grep("<body>", gmkin_manual)
-gmb_end <- grep("</body>", gmkin_manual)
-gmkin_manual_body <- gmkin_manual[gmb_start:gmb_end]
+manual_html <- readLines(system.file("GUI/manual.html", package = "gmkin"))
-manual.gh <- ghtml(label = "Manual", paste0("<div class = 'manual' style = 'margin: 20px'>
+manual.gh <- ghtml(label = "Manuals", paste0("<div class = 'manual' style = 'margin: 20px'>
<style>
.manual h1{
font-size: 14px;
line-height: 20px;
}
-.manual h2{
- font-size: 14px;
- line-height: 20px;
-}
-.manual h3{
- font-size: 12px;
- line-height: 18px;
-}
-.manual ul{
- font-size: 12px;
- line-height: 12px;
-}
-.manual li{
- font-size: 12px;
- line-height: 12px;
-}
</style>
-", paste(gmkin_manual_body, collapse = '\n'), "
+", paste(manual_html, collapse = '\n'), "
</div>"), width = 460, cont = right)
# Changes {{{2
|