[DiscordArchive] but why do I have to set margins?
[DiscordArchive] but why do I have to set margins?
Archived author: Skarn • Posted: 2019-06-01T20:19:44.023000+00:00
Original source
but why do I have to set margins?
![[Image: 54OCBi3csL.gif?ex=690c5a3d&is=690b08bd&h...93249119d&]](https://cdn.discordapp.com/attachments/408013572430626817/584476320193576961/54OCBi3csL.gif?ex=690c5a3d&is=690b08bd&hm=6bd0cd49df2d97748c7c00733bde421366f18499ec57e8dfbcd357a93249119d&)
Archived author: Skarn • Posted: 2019-06-01T20:20:13.779000+00:00
Original source
![[Image: 54OCBi3csL.gif?ex=690c5a3d&is=690b08bd&h...93249119d&]](https://cdn.discordapp.com/attachments/408013572430626817/584476320193576961/54OCBi3csL.gif?ex=690c5a3d&is=690b08bd&hm=6bd0cd49df2d97748c7c00733bde421366f18499ec57e8dfbcd357a93249119d&)
Archived author: Skarn • Posted: 2019-06-01T20:20:17.876000+00:00
Original source
trying to fix this
Archived author: Skarn • Posted: 2019-06-01T20:20:40.398000+00:00
Original source
the upper block takes the entire space on init
Archived author: schlumpf • Posted: 2019-06-01T20:20:40.526000+00:00
Original source
because the margins are 10 by default
Archived author: Skarn • Posted: 2019-06-01T20:20:45.516000+00:00
Original source
but when I change stuff
Archived author: schlumpf • Posted: 2019-06-01T20:20:54.386000+00:00
Original source
oh, that, uh
Archived author: Skarn • Posted: 2019-06-01T20:20:54.904000+00:00
Original source
it becomes smaller
Archived author: Skarn • Posted: 2019-06-01T20:21:01.440000+00:00
Original source
when I switch brushes
Archived author: schlumpf • Posted: 2019-06-01T20:21:02.541000+00:00
Original source
probably a dockwidget thing, not a widget one