Re: [code] Weirdness with Windows domain logins

From: Michael Richter <>
Date: Wed, 26 Apr 2017 13:09:18 +0800

On 26 April 2017 at 12:23, Mitchell <> wrote:

> Hi Michael,
> On Wed, 26 Apr 2017, Michael Richter wrote:
> As usual I run Textadept on any machine I have access to because, you know,
>> I like editors that don't suck. I'm having problems on a Windows 10
>> machine I can't figure out however. The issue is this: when I run
>> Textadept (9.3) from a local account, everything works perfectly; no
>> troubles whatsoever. When I run it from a domain account, however,
>> everything works perfectly as long as I don't want to search for text.
>> The
>> entry boxes in the search ribbon at the bottom are disabled in a domain
>> account.
> What do you mean by disabled? Do you mean you cannot type into them?

I can't even get them to select. Clicking in them: no cursor. Typing: no
text. The buttons all click. The radio boxes are all fine. Just can't do
anything with the input boxes.

> It doesn't matter where I install Textadept to, I get the same problem.
>> This smells of a permissions problem, but I have no idea WHAT is not being
>> permitted because, as usual, Windows likes to just silently fail without
>> telling you why.
>> What feature is being used to put up the text entry boxes in the search
>> ribbon and where would I likely have to go to find the solution?
> This is quite baffling. I have no idea what could be causing the issue.
> Textadept is not using any special text boxes in the Find & Replace pane.
> All it does is call `gtk_widget_show()` and `gtk_widget_hide()` as
> necessary[1]. Can you use any other text entry widgets just fine? (e.g.
> Search -> Jump to, Tools -> Select Command, etc.)
Yep. Those work fine.

"Perhaps people don't believe this, but throughout all of the discussions
of entering China our focus has really been what's best for the Chinese
people. It's not been about our revenue or profit or whatnot."
--Sergey Brin, demonstrating the emptiness of the "don't be evil" mantra.
You are subscribed to
To change subscription settings, send an e-mail to
To unsubscribe, send an e-mail to
Received on Wed 26 Apr 2017 - 01:09:18 EDT

This archive was generated by hypermail 2.2.0 : Wed 26 Apr 2017 - 06:41:01 EDT