adujst max-mini-window-height for (jda-mark-vector-message)