diff src/print.c @ 73891:7e65038a5be1

(server-raise-frame): New option. (server-switch-buffer): Use it.
author Juanma Barranquero <lekktu@gmail.com>
date Fri, 10 Nov 2006 09:46:51 +0000
parents 0241744f31e1
children 3d45362f1d38 2d56e13fd23d b5c13d1564a9
line wrap: on
line diff