diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-11-09 17:15:57 +0100 | 
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-11-09 17:15:57 +0100 | 
| commit | d9d734a417b2eec323f935e7066e5f6e23be9ff1 (patch) | |
| tree | bca2561cce8ca24ebc2889cb48249d9f82f693da | |
| parent | 80f5aabec183c8d4753c71aacfc3b4dbe9acd3e7 (diff) | |
Reduce font size and width in summary to fit the space
| -rw-r--r-- | inst/GUI/gmkin.R | 11 | 
1 files changed, 9 insertions, 2 deletions
| diff --git a/inst/GUI/gmkin.R b/inst/GUI/gmkin.R index e133c99..db16e38 100644 --- a/inst/GUI/gmkin.R +++ b/inst/GUI/gmkin.R @@ -39,7 +39,7 @@ if (exists("win.metafile", "package:grDevices", inherits = FALSE)) {  }
  plot_format <- plot_formats[[1]]
  # Options {{{2
 -options(width = 80) # For summary
 +options(width = 75) # For summary
  # Set the GUI title and create the basic widget layout {{{1
  # Three panel layout {{{2
  window_title <- paste0("gmkin ", packageVersion("gmkin"),
 @@ -322,7 +322,14 @@ update_f_results <- function() { # {{{3                                   height = 150)
    size(r.frames.distimes.gt) <- list(columnWidths = c(60, rep(45, ncol(stmp$distimes))))
    svalue(f.gg.summary.filename) <- paste(ftmp$ds$title, "_", ftmp$mkinmod$name, ".txt", sep = "")
 -  svalue(f.gg.summary.listing) <- c("<pre>", capture.output(summary(ftmp)), "</pre>")
 +  svalue(f.gg.summary.listing) <- c("<style>
 +.summary pre{
 +  font-size: 11px;
 +  line-height: 16px;
 +}
 +</style>
 +<div class='summary'>
 +<pre> ", capture.output(summary(ftmp)), "</pre></div>")
    ds.e.gdf[,] <- ftmp$ds$data
    svalue(center) <- 5
  }
 | 
