-
Notifications
You must be signed in to change notification settings - Fork 16
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #48 from JuliaPluto/ah/linting
Add linting tests with Aqua, JET and ExplicitImports, fix bugs
- Loading branch information
Showing
19 changed files
with
231 additions
and
183 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,19 +1,57 @@ | ||
module PlutoTeachingTools | ||
|
||
using PlutoUI | ||
using HypertextLiteral # used by aside & present, might be useful elsewhere | ||
using Markdown | ||
using Markdown: @md_str, MD, Admonition, LaTeX | ||
using HypertextLiteral: @htl, @htl_str | ||
using Downloads: download # used in robustlocalresouce.jl | ||
using PlutoUI: Resource, LocalResource # used in robustlocalresouce.jl | ||
using PlutoUI: combine # used in footnotes.jl | ||
using Latexify: latexify # used in latex.jl | ||
|
||
using PlutoLinks: @ingredients # just for @ingredients | ||
using PlutoLinks: @ingredients | ||
export @ingredients | ||
|
||
include("i18n/i18n.jl") # provides framework for multiple language support | ||
include("computational_thinking.jl") # provides common note boxes | ||
include("present.jl") # provides present_button() & ChooseDisplayMode() | ||
include("latex.jl") # provides latexify_md and wrap_tex | ||
include("aside.jl") # provides aside | ||
include("robustlocalresource.jl") # provides RobustLocalResource | ||
include("other.jl") # provides WidthOverDocs() | ||
include("footnotes.jl") # provides FootnotesNumbered() and FootnotesInlineStyleSuperscript() | ||
include("i18n/i18n.jl") # framework for multiple language support | ||
export AbstractLanguage, set_language! | ||
export preferred_text | ||
|
||
include("computational_thinking.jl") | ||
export hint, tip, protip, almost, warning_box, question_box, answer_box, danger, keyconcept | ||
export correct, still_missing, still_nothing, wrong_type | ||
export var_not_defined, func_not_defined, keep_working | ||
export not_defined # deprecated | ||
#export keep_working_if_var_contains_substr | ||
export type_isa, type_eq | ||
export code_for_check_type_funcs | ||
export TODO, nbsp | ||
export blockquote | ||
export display_msg_if_fail | ||
|
||
include("present.jl") | ||
export present_button | ||
export Foldable | ||
export TwoColumn, ThreeColumn | ||
export TwoColumnWideLeft, TwoColumnWideRight | ||
export ChooseDisplayMode # combines present_button and WidthOverDocs | ||
|
||
include("latex.jl") | ||
export latexify_md, wrap_tex | ||
|
||
include("aside.jl") | ||
export aside, set_aside_width | ||
|
||
include("robustlocalresource.jl") | ||
export RobustLocalResource | ||
|
||
include("other.jl") | ||
export WidthOverDocs | ||
export confetti | ||
|
||
include("footnotes.jl") | ||
export FootnotesInlineNumbered | ||
export FootnotesBottomNumbered | ||
export FootnotesNumbered | ||
export FootnotesInlineStyleSuperscript | ||
export FootnotesInlineStyleSubscript | ||
export FootnotesInlineStyleBaseline | ||
|
||
end # module |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.