| 
									
										
										
										
											2023-08-23 10:53:11 -06:00
										 |  |  | #import <DOM/Event.idl> | 
					
						
							|  |  |  | #import <HTML/NavigationHistoryEntry.idl> | 
					
						
							|  |  |  | #import <HTML/NavigationType.idl> | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | // https://html.spec.whatwg.org/multipage/nav-history-apis.html#the-navigationcurrententrychangeevent-interface | 
					
						
							| 
									
										
										
										
											2023-09-03 02:00:01 +12:00
										 |  |  | [Exposed=Window] | 
					
						
							| 
									
										
										
										
											2023-08-23 10:53:11 -06:00
										 |  |  | interface NavigationCurrentEntryChangeEvent : Event { | 
					
						
							| 
									
										
										
										
											2023-10-25 17:27:19 +02:00
										 |  |  |     constructor(DOMString type, NavigationCurrentEntryChangeEventInit eventInitDict); | 
					
						
							| 
									
										
										
										
											2023-08-23 10:53:11 -06:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2023-10-25 17:27:19 +02:00
										 |  |  |     readonly attribute NavigationType? navigationType; | 
					
						
							|  |  |  |     readonly attribute NavigationHistoryEntry from; | 
					
						
							| 
									
										
										
										
											2023-08-23 10:53:11 -06:00
										 |  |  | }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | dictionary NavigationCurrentEntryChangeEventInit : EventInit { | 
					
						
							| 
									
										
										
										
											2023-10-25 17:27:19 +02:00
										 |  |  |     // FIXME: Set default value of null when IDL generator supports it | 
					
						
							|  |  |  |     NavigationType? navigationType; | 
					
						
							|  |  |  |     required NavigationHistoryEntry from; | 
					
						
							| 
									
										
										
										
											2023-08-23 10:53:11 -06:00
										 |  |  | }; |