-
Notifications
You must be signed in to change notification settings - Fork 12
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
change mini-window height during phpactor-status #124
base: master
Are you sure you want to change the base?
Conversation
phpactor.el
Outdated
@@ -659,6 +659,7 @@ function." | |||
(defun phpactor-status () | |||
"Execute Phpactor RPC status command, and pop to buffer." | |||
(interactive) | |||
(setq max-mini-window-height 18) |
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.
Can it be enclosed by let
?
(let ((max-mini-window-height 18))
(apply #'phpactor-action-dispatch (phpactor--rpc "status" [])))
let
temporarily overwrites variables and restores them.
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.
Can you make the literal value 18
a custom variable instead of a magic number?
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.
@zonuexe done (with a note in the README about it)
Unfortunately, I had tried but I also tried temporarily taking a backup of original value and restoring it in a statement at the end but that last part (restoration) did not work. |
Hi @zonuexe Admitedly, this change alters a variable outside phpactor's own scope, which is not ideal. However, for user trying this package for the first time, having all the information from wdyt ? |
I'm not really happy to change such a global variable but I did not find a working solution to have it changed only temporarily.
fixes #123