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