[Weechat-dev] [task #9361] Plugins should have a function to set terminal title

[Tor Hveem]

URL:
  <http://savannah.nongnu.org/task/?9361>

                 Summary: Plugins should have a function to set terminal
title
                 Project: Wee Enhanced Environment for Chat
            Submitted by: torh
            Submitted on: Thu 07 May 2009 06:27:21 AM GMT
                Category: commands
         Should Start On: Thu 07 May 2009 12:00:00 AM GMT
   Should be Finished on: Thu 07 May 2009 12:00:00 AM GMT
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
        Percent Complete: 0%
             Assigned to: None
         Originator Name: 
        Originator Email: 
             Open/Closed: Open
         Discussion Lock: Any
                IRC nick: xt

    _______________________________________________________

Details:

Attached is a preliminary patch that changes

extern void gui_window_title_set ();
into
extern void gui_window_title_set (const char *title);

And if config_look_set_title is true, the terminal title will change upon
buffer change.

Preferably the API needs to export this functionality so scripts can be
written to change terminal title. And GUI window title once other GUIs become
available.



    _______________________________________________________

File Attachments:


-------------------------------------------------------
Date: Thu 07 May 2009 06:27:21 AM GMT  Name: weechat-term-title.diff  Size:
5kB   By: torh
Preliminary patch
<http://savannah.nongnu.org/task/download.php?file_id=18106>

    _______________________________________________________

Reply to this item at:

  <http://savannah.nongnu.org/task/?9361>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.nongnu.org/