public void Load() { if( File.Exists( _path ) == false ) return; using( TextReader textReader = File.OpenText( _path ) ) using( JsonReader reader = new JsonReader( textReader ) ) { PrimaryStore store = ( PrimaryStore )_serializer.Deserialize( reader, typeof( PrimaryStore ) ); this.Breakpoints = store.Breakpoints; this.CodeTags = store.CodeTags; this.Bookmarks = store.Bookmarks; } }
public void Load() { if (File.Exists(_path) == false) { return; } using (TextReader textReader = File.OpenText(_path)) using (JsonReader reader = new JsonReader(textReader)) { PrimaryStore store = ( PrimaryStore )_serializer.Deserialize(reader, typeof(PrimaryStore)); this.Breakpoints = store.Breakpoints; this.CodeTags = store.CodeTags; this.Bookmarks = store.Bookmarks; } }