# File lib/json/editor.rb, line 1124 1124: def display_status(text) 1125: @cid ||= nil 1126: @status_bar.pop(@cid) if @cid 1127: @cid = @status_bar.get_context_id('dummy') 1128: @status_bar.push(@cid, text) 1129: end