2024-07-21 02:34:50 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								// https://html.spec.whatwg.org/multipage/nav-history-apis.html#scrollrestoration
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								enum ScrollRestoration { "auto", "manual" };
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2022-10-13 22:43:04 +08:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								// https://html.spec.whatwg.org/multipage/history.html#the-history-interface
							 | 
						
					
						
							
								
									
										
										
										
											2023-09-03 02:00:01 +12:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								[Exposed=Window]
							 | 
						
					
						
							
								
									
										
										
										
											2021-09-11 23:43:34 +01:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								interface History {
							 | 
						
					
						
							
								
									
										
										
										
											2022-10-13 22:43:04 +08:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    readonly attribute unsigned long length;
							 | 
						
					
						
							
								
									
										
										
										
											2024-10-02 10:33:05 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    attribute ScrollRestoration scrollRestoration;
							 | 
						
					
						
							
								
									
										
										
										
											2023-09-27 22:39:44 -06:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    readonly attribute any state;
							 | 
						
					
						
							
								
									
										
										
										
											2022-10-13 22:43:04 +08:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    undefined go(optional long delta = 0);
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    undefined back();
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    undefined forward();
							 | 
						
					
						
							
								
									
										
										
										
											2021-09-11 23:43:34 +01:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    undefined pushState(any data, DOMString unused, optional USVString? url = null);
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    undefined replaceState(any data, DOMString unused, optional USVString? url = null);
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								};
							 |