# 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