Loading ...
Sorry, an error occurred while loading the content.

75536Re: [patch] doc/gui.txt: small complements

Expand Messages
  • Bram Moolenaar
    Mar 8, 2014
      Cade Foster wrote:

      > diff -r 10d35c8b50e3 runtime/doc/gui.txt
      > --- a/runtime/doc/gui.txt Mon Feb 24 03:32:00 2014 +0100
      > +++ b/runtime/doc/gui.txt Thu Mar 06 19:30:14 2014 +0700
      > @@ -133,6 +133,7 @@
      > :winp[os]
      > Display current position of the top left corner of the GUI vim
      > window in pixels. Does not work in all versions.
      > + Also see |getwinposx()| and |getwinposy()|.
      >
      > :winp[os] {X} {Y} *E466*
      > Put the GUI vim window at the given {X} and {Y} coordinates.
      > @@ -151,8 +152,12 @@
      > option.
      >
      > If you are running the X Window System, you can get information about the
      > -window Vim is running in with this command: >
      > +window Vim is running in with this commands: >
      > :!xwininfo -id $WINDOWID
      > + :!xprop -id $WINDOWID
      > +< or >
      > + :execute '!xwininfo -id ' . v:windowid
      > + :execute '!xprop -id ' . v:windowid
      > <
      > *gui-IME* *iBus*
      > Input methods for international characters in X that rely on the XIM

      Thanks.

      --
      Q: What kind of stuff do you do?
      A: I collect hobbies.

      /// Bram Moolenaar -- Bram@... -- http://www.Moolenaar.net \\\
      /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
      \\\ an exciting new programming language -- http://www.Zimbu.org ///
      \\\ help me help AIDS victims -- http://ICCF-Holland.org ///

      --
      --
      You received this message from the "vim_dev" maillist.
      Do not top-post! Type your reply below the text you are replying to.
      For more information, visit http://www.vim.org/maillist.php

      ---
      You received this message because you are subscribed to the Google Groups "vim_dev" group.
      To unsubscribe from this group and stop receiving emails from it, send an email to vim_dev+unsubscribe@....
      For more options, visit https://groups.google.com/d/optout.
    • Show all 4 messages in this topic