original_string: public function reload_theme() {
          if (!is_null($this->_theme)) {
              $this->_theme = theme_config::load($this->_theme->name);
          }
      }
code: public function reload_theme() {
          if (!is_null($this->_theme)) {
              $this->_theme = theme_config::load($this->_theme->name);
          }
      }
code_tokens: public function reload_theme ( ) { if ( ! is_null ( $ this -> _theme ) ) { $ this -> _theme = theme_config :: load ( $ this -> _theme -> name ) ; } }
docstring: Reload theme settings.
  
  This is used when we need to reset settings
  because they are now double cached in theme.
docstring_tokens: Reload theme settings .