comparison src/editors.h @ 801:9b676bb76a2e

various refresh and notification fixes
author nadvornik
date Sat, 07 Jun 2008 22:44:17 +0000
parents ff51413f098d
children cee16cea5f23
comparison
equal deleted inserted replaced
800:a25b228978a0 801:9b676bb76a2e