comparison lisp/gutter-items.el @ 5519:bcd74c477a38

Switch to #'dolist instead of #'mapcar in a couple of places if result not used 2011-06-04 Aidan Kehoe <kehoea@parhasard.net> * gutter-items.el (add-tab-to-gutter): * toolbar-items.el (toolbar-add-item-data): Switch to #'dolist instead of #'mapcar in a couple of places where the result isn't used. (Committed now mostly to trigger a commit mail so Mats' buildbot gets woken up.)
author Aidan Kehoe <kehoea@parhasard.net>
date Sat, 04 Jun 2011 14:17:59 +0100
parents b9167d522a9a
children cc6f0266bc36
comparison
equal deleted inserted replaced
5518:3cc7470ea71c 5519:bcd74c477a38
312 (remove-gutter-element top-gutter 'buffers-tab) 312 (remove-gutter-element top-gutter 'buffers-tab)
313 (remove-gutter-element bottom-gutter 'buffers-tab) 313 (remove-gutter-element bottom-gutter 'buffers-tab)
314 (remove-gutter-element left-gutter 'buffers-tab) 314 (remove-gutter-element left-gutter 'buffers-tab)
315 (remove-gutter-element right-gutter 'buffers-tab) 315 (remove-gutter-element right-gutter 'buffers-tab)
316 ;; Put tabs into all devices that will be able to display them 316 ;; Put tabs into all devices that will be able to display them
317 (mapcar 317 (dolist (x (console-type-list))
318 #'(lambda (x) 318 (when (valid-image-instantiator-format-p 'tab-control x)
319 (when (valid-image-instantiator-format-p 'tab-control x) 319 (case gutter-buffers-tab-orientation
320 (cond ((eq gutter-buffers-tab-orientation 'top) 320 (top
321 ;; This looks better than a 3d border 321 ;; This looks better than a 3d border
322 (set-specifier top-gutter-border-width 0 'global x) 322 (set-specifier top-gutter-border-width 0 'global x)
323 (set-gutter-element top-gutter 'buffers-tab 323 (set-gutter-element top-gutter 'buffers-tab
324 gutter-string 'global x)) 324 gutter-string 'global x))
325 ((eq gutter-buffers-tab-orientation 'bottom) 325 (bottom
326 (set-specifier bottom-gutter-border-width 0 'global x) 326 (set-specifier bottom-gutter-border-width 0 'global x)
327 (set-gutter-element bottom-gutter 'buffers-tab 327 (set-gutter-element bottom-gutter 'buffers-tab
328 gutter-string 'global x)) 328 gutter-string 'global x))
329 ((eq gutter-buffers-tab-orientation 'left) 329 (left
330 (set-specifier left-gutter-border-width 0 'global x) 330 (set-specifier left-gutter-border-width 0 'global x)
331 (set-gutter-element left-gutter 'buffers-tab 331 (set-gutter-element left-gutter 'buffers-tab
332 gutter-string 'global x)) 332 gutter-string 'global x))
333 ((eq gutter-buffers-tab-orientation 'right) 333 (right
334 (set-specifier right-gutter-border-width 0 'global x) 334 (set-specifier right-gutter-border-width 0 'global x)
335 (set-gutter-element right-gutter 'buffers-tab 335 (set-gutter-element right-gutter 'buffers-tab gutter-string 'global
336 gutter-string 'global x)) 336 x)))))))
337 )))
338 (console-type-list))))
339 337
340 (defun update-tab-in-gutter (frame &optional force-selection) 338 (defun update-tab-in-gutter (frame &optional force-selection)
341 "Update the tab control in the gutter area." 339 "Update the tab control in the gutter area."
342 ;; dedicated frames don't get tabs 340 ;; dedicated frames don't get tabs
343 (unless (or (window-dedicated-p (frame-selected-window frame)) 341 (unless (or (window-dedicated-p (frame-selected-window frame))