# File lib/json/editor.rb, line 1133 def display_status(text) @cid ||= nil @status_bar.pop(@cid) if @cid @cid = @status_bar.get_context_id('dummy') @status_bar.push(@cid, text) end