13.07.2013 Views

CONTEXT

CONTEXT

CONTEXT

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

−−→ 17.10 Externe programma’s<br />

Interactie<br />

Analoog aan het springen naar externe documenten, is het mogelijk een programma<br />

op te starten. Dit gebeurt met behulp van de commando’s:<br />

\definieerprogramma[.1.][.2.][.3.] ◭ ◮<br />

.1. naam<br />

.2. tekst<br />

.3. tekst<br />

\stelprogrammasin[..,..=..,..] ◭ ◮<br />

gebied tekst<br />

\programma[...] ◭ ◮<br />

... naam<br />

Het werken met externe programma’s maakt een interactieve tekst erg kwetsbaar.<br />

Zo is het de vraag of en hoe het programma beschikbaar is. Zolang het besturingssysteem<br />

dit soort zaken nog niet goed afhandelt, moeten we een gebied opgeven:<br />

\stelprogrammasin[gebied=s:/pragma/programs]<br />

Voordat we een programma kunnen activeren, moet het eerst zijn gedefinieerd:<br />

\definieerprogramma [editor] [texedit] [De \TeX verwerker \TeX Edit]<br />

Het laatste argument is de naam die verschijnt als we het commando \programma<br />

gebruiken:<br />

\programma[editor]<br />

Het programma TEXEDIT wordt in dit geval geactiveerd door op gezette woord te<br />

klikken.<br />

−−→ 17.11 Interactiebalken<br />

Als we gebruikers de mogelijkheid willen geven door de tekst te springen, kunnen<br />

we gebruik maken van interactiebalken:<br />

inhoud<br />

definities<br />

index<br />

commando’s<br />

sources<br />

<strong>CONTEXT</strong> Externe programma’s 287 ◭ ◭ ◮ ◮<br />

inleiding<br />

documenten<br />

vlakverdeling<br />

layout<br />

typografie<br />

kleurgebruik<br />

afbreken<br />

onderdelen<br />

verwijzingen<br />

beschrijvingen<br />

lijnen<br />

blokken<br />

figuren<br />

tabellen<br />

formules<br />

files<br />

interactie<br />

commandos<br />

diversen<br />

positioneren<br />

instellingen<br />

opmerkingen

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!