jgr.supplements: Supplemental JGR functions

Description

The following functions are publicly visible, but with the expection of JGR they are usually invoked from the GUI and rarely directly by the user.

JGR can be used to update JGR including dependent packages or to start JGR from within R. JGR is always started as an independent application and the preferred way to start JGR is using launchers that are provided from the JGR website http://www.rosuda.org

Usage

JGR(update = FALSE, javaArgs = NULL, jgrArgs = "")
broken.gomp()
installPackages(contriburl = NULL, type = getOption("pkgType"))
jgr.pager(file, header, title, delete.file)
jgr.browser(url, ...)
jgr.set.options(..., useJavaGD = TRUE, useJGRpager = TRUE,
                useJGRbrowser = TRUE, useHTMLHelp = TRUE)
object.browser()
package.manager()
reformat.code(txt)

Arguments

update: If set to TRUE then JGR is updated for the RoSuDa repository (internet connection is required).
javaArgs: Arguments for Java.
jgrArgs: Arguments passed to the main method of JGR.
contriburl: same as in install.packages
type: JGR uses the package type set in the R options
file: file to show
header: header for each file
title: overall title for the display
delete.file: should the files be deleted after display? Used for temporary files.
url: url to show
useJavaGD: if set to TRUE, JavaGD is set as the default device
useJGRpager: if set to TRUE, jgr.pager function is used as the default pager
useJGRbrowser: if set to TRUE, jgr.browser function is used as the default browser
useHTMLHelp: if set to TRUE, HTML help used as the default
...: additional parameters or options to set
txt: R code to be made pretty