Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

default_timer #170

Open
Vilin97 opened this issue Oct 19, 2023 · 1 comment
Open

default_timer #170

Vilin97 opened this issue Oct 19, 2023 · 1 comment

Comments

@Vilin97
Copy link

Vilin97 commented Oct 19, 2023

There used to be a TimerOutputs.default_timer(). I liked it. While it's still possible to @timeit using this default global timer, there is seemingly no way to get it now, unless default_timer was renamed?
@jonas-schulze
Copy link

There is get_defaultimer (deprecated; note the typo) and get_defaulttimer, but only the former is currently being exported (implicitly by @deprecate). One could consider exporting the latter as well, IMO.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jonas-schulze @Vilin97