nandi/jolt-native · 5adddc7

⑂ 5adddc7

Let the window be renamed after it opens

A title was whatever `vidya_open` was handed, and nothing could say
otherwise afterwards — so an app whose title has something to report
(who is signed in, which document is open, what a second window of the
same app is for) had only what it knew before the window existed, which
for a name that arrives with a connection is nothing.

`vidya_set_title` writes the winit window and `Handler.title` both. The
handler's copy is not a cache: on Android the window is taken away and
rebuilt whenever the activity leaves the foreground, and `Gl::create`
names the new one from that field — a title set only on the window would
be the launch title again after a resume.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

nandi committed 2026-08-30T18:49:47-07:00 Browse files

5adddc7 parent: a20c5b9

modified crates/jolt-vidya/src/app.rs +13 -0 Viewed

@@ -621,6 +621,19 @@ impl App {
621	621	vidya_core::apply(&self.handler.egui_ctx, &self.handler.theme);
622	622	}
623	623
	624	+ /// Rename the open window.
	625	+ ///
	626	+ /// Onto the handler as well as the window: on Android the window is taken
	627	+ /// away and rebuilt whenever the activity leaves the foreground, and
	628	+ /// `Gl::create` names the new one from `self.title`. A title set once and
	629	+ /// only on the window would be the launch title again after a resume.
	630	+ pub fn set_title(&mut self, title: &str) {
	631	+ self.handler.title = title.to_owned();
	632	+ if let Some(gl) = self.handler.gl.as_ref() {
	633	+ gl.window.set_title(title);
	634	+ }
	635	+ }
	636	+
624	637	pub fn set_target_fps(&mut self, fps: i32) {
625	638	self.frame_budget = match fps {
626	639	f if f > 0 => Duration::from_secs_f64(1.0 / f as f64),

          vidya_core::apply(&self.handler.egui_ctx, &self.handler.theme);
      }
++    /// Rename the open window.
++    ///
++    /// Onto the handler as well as the window: on Android the window is taken
++    /// away and rebuilt whenever the activity leaves the foreground, and
++    /// `Gl::create` names the new one from `self.title`. A title set once and
++    /// only on the window would be the launch title again after a resume.
++    pub fn set_title(&mut self, title: &str) {
++        self.handler.title = title.to_owned();
++        if let Some(gl) = self.handler.gl.as_ref() {
++            gl.window.set_title(title);
++        }
++    }
++
      pub fn set_target_fps(&mut self, fps: i32) {
          self.frame_budget = match fps {
              f if f > 0 => Duration::from_secs_f64(1.0 / f as f64),

modified crates/jolt-vidya/src/lib.rs +8 -0 Viewed

@@ -130,6 +130,14 @@ pub extern "C" fn vidya_should_close() -> c_int {
130	130	with_app(1, \|app\| app.should_close() as c_int)
131	131	}
132	132
	133	+/// # Safety
	134	+/// `title` is null or a NUL-terminated UTF-8 string.
	135	+#[no_mangle]
	136	+pub unsafe extern "C" fn vidya_set_title(title: *const c_char) {
	137	+ let title = borrowed_str(title);
	138	+ with_app((), \|app\| app.set_title(&title));
	139	+}
	140	+
133	141	#[no_mangle]
134	142	pub extern "C" fn vidya_set_target_fps(fps: c_int) {
135	143	with_app((), \|app\| app.set_target_fps(fps));

      with_app(1, |app| app.should_close() as c_int)
  }
++/// # Safety
++/// `title` is null or a NUL-terminated UTF-8 string.
++#[no_mangle]
++pub unsafe extern "C" fn vidya_set_title(title: *const c_char) {
++    let title = borrowed_str(title);
++    with_app((), |app| app.set_title(&title));
++}
++
  #[no_mangle]
  pub extern "C" fn vidya_set_target_fps(fps: c_int) {
      with_app((), |app| app.set_target_fps(fps));

modified jolt/glimmer-vidya/src/glimmer_vidya/core.jolt +10 -0 Viewed

@@ -242,6 +242,16 @@
242	242	(forget-dead-handlers!)
243	243	nil)
244	244
	245	+(defn set-title!
	246	+ "Rename the open window. `run` names it once at startup; this is for a title
	247	+ that has something to say later — who is signed in, which document is open,
	248	+ what a second window of the same app is for.
	249	+
	250	+ A no-op before the window exists and after it closes."
	251	+ [title]
	252	+ (ffi/set-title! (str title))
	253	+ nil)
	254	+
245	255	(defn window-width
246	256	"The width in points of the window's content area, as the last painted frame
247	257	measured it. 0 before the first frame.

    (forget-dead-handlers!)
    nil)
++(defn set-title!
++  "Rename the open window. `run` names it once at startup; this is for a title
++  that has something to say later — who is signed in, which document is open,
++  what a second window of the same app is for.
++
++  A no-op before the window exists and after it closes."
++  [title]
++  (ffi/set-title! (str title))
++  nil)
++
  (defn window-width
    "The width in points of the window's content area, as the last painted frame
    measured it. 0 before the first frame.

modified jolt/glimmer-vidya/src/glimmer_vidya/ffi.jolt +1 -0 Viewed

@@ -23,6 +23,7 @@
23	23	(ffi/defcfn raw-open "vidya_open" [:int :int :string] :int)
24	24	(ffi/defcfn close! "vidya_close" [] :void)
25	25	(ffi/defcfn raw-should-close "vidya_should_close" [] :int)
	26	+(ffi/defcfn set-title! "vidya_set_title" [:string] :void)
26	27	(ffi/defcfn set-target-fps! "vidya_set_target_fps" [:int] :void)
27	28	(ffi/defcfn set-mode! "vidya_set_mode" [:int] :void)
28	29	(ffi/defcfn raw-load-font "vidya_load_font" [:string :int] :int)

  (ffi/defcfn raw-open "vidya_open" [:int :int :string] :int)
  (ffi/defcfn close! "vidya_close" [] :void)
  (ffi/defcfn raw-should-close "vidya_should_close" [] :int)
++(ffi/defcfn set-title! "vidya_set_title" [:string] :void)
  (ffi/defcfn set-target-fps! "vidya_set_target_fps" [:int] :void)
  (ffi/defcfn set-mode! "vidya_set_mode" [:int] :void)
  (ffi/defcfn raw-load-font "vidya_load_font" [:string :int] :int)