WinShell

WinShell
Schermafdruk van WinShell
Schermafdruk van WinShell
Ontwikkelaar(s) Ingo H. de Boer
Recentste versie 4.0.0.6 (27 mei 2023)[1] Bewerken op Wikidata
Besturingssysteem Windows 7/10
Categorie IDE / Teksteditor
Licentie(s) freeware
Website (en) www.winshell.org
Portaal  Portaalicoon   Informatica

WinShell is een gratis teksteditor en IDE, speciaal ontworpen voor het maken van LaTeX-documenten. De gebruiker voert er de brontekst in, en het programma kan die brontekst omzetten naar PDF, DVI of PS.

WinShell bevat syntaxiskleuring. Zo worden commands als

\begin{document}
\end{document}

in het rood weergegeven. Dit is erg handig zodat men goed ziet dat elk begin-commando ook ergens moet eindigen. Daarnaast heeft WinShell spellingscontrole, een wizard voor tabellen, BibTeX en Unicode ondersteuning, en enkele werkbalken om snel bepaalde symbolen in te voegen.

WinShell lijkt erg op TeXnicCenter. Zo bevat TeXnicCenter ook de aangehaalde features voor het maken van LaTeX-documenten.

[bewerken | brontekst bewerken]