# 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