# File lib/json/editor.rb, line 1080 1080: def display_status(text) 1081: @cid ||= nil 1082: @status_bar.pop(@cid) if @cid 1083: @cid = @status_bar.get_context_id('dummy') 1084: @status_bar.push(@cid, text) 1085: end