Code Monkey home page Code Monkey logo

Comments (5)

orbitalquark avatar orbitalquark commented on May 27, 2024

from textadept.

winterwolf avatar winterwolf commented on May 27, 2024

Sadly, this is a GTK issue that I cannot do anything about. (GTK is the GUI toolkit Textadept uses.) You can try using a different GTK theme to solve this issue. Your Linux distribution should provide a tool that allows you to change said theme.

@orbitalquark you're right, this is GTK issue, but it happens only with Textadept. It doesn't happens with any other GTK application and my current theme doesn't have any gaps on window borders.

from textadept.

orbitalquark avatar orbitalquark commented on May 27, 2024

from textadept.

winterwolf avatar winterwolf commented on May 27, 2024

@orbitalquark To be honest, I just tried to create my own GTK application and it has the same problem. But for some reason, other applications, such as Firefox, Synaptic, Evince and many others, do not have this problem.

from textadept.

winterwolf avatar winterwolf commented on May 27, 2024

@orbitalquark Evince and Firefox are gtk3, but Synaptic is gtk2 based.

from textadept.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.