-
-
Notifications
You must be signed in to change notification settings - Fork 287
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.
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
[disp] Rename disp_pixel_random to disp_graph_pixel_random #2664
Conversation
Bump. |
Thanks for pulling this together, @cool-RR. We do need to add a line to the end of deprecated.py:
But if that's the only |
Done. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for noticing and fixing an inconsistency, @cool-RR !
90d765e
to
7021d2b
Compare
How do I do
In my |
@saulpw Any idea about the question above? |
I have some thoughts but nothing immediate, and my dayjob means that I don't really have time to respond during the week. Please be patient. |
🥺 |
I ended up going with this:
I figured there would be a more elegant solution because I imagine this isn't the first time a name is changed, but I guess there isn't. |
That's about as good as I was going to do. The other possibility is to check the |
Fixes #2661
Do I need to add anything to make the old name still work?