Skip to content

ChifiSource/OliveDefaults.jl

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

8 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Some default extensions for the Olive notebook editor.

This package contains a number of default extensions. In order to load a given extension, simply use using on the module.

using OliveDefaults: Styler

Add the code above to your olive.jl home file after adding OliveDefaults, for more information checkout installing extensions.


styler

The styler extension allows the end-user to create and load their own stylesheets! This allows for an easy way to customize the way Olive looks, especially when it comes to color.

using OliveDefaults: Styler
docbrowser

The docbrowser creates pages of module documentation for every name defined within the current notebook. What this means is that we can browse docstrings in Markdown based on what package they are from.

using OliveDefaults: DocBrowser
autocomplete

The autocomplete module does exactly what one might expect -- this package adds autocomplete with spacebar presses.

using OliveDefaults: AutoComplete