# 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