events - How to redraw gtk widget in python without calling gtk.main_iteration? -


my application have window handle key press events. when user press key run long tasks , during task update label on window. update label while task still running call following code. while gtk.events_pending(): gtk.main_iteration(false)

this update label problem process events including key presses. if user press key while tasks running calling main_iteration start processing task. want should update label other events should not processed . events should processed when task completed.

one way remove key press handler or in keypress handler check if task running ignore key presses in way keypresses lost. want somehow should update label leave other events , events should handled after task completed , application become idle. there way this?

thanks

you want .queue_draw() , related gtkwidget methods. note these mark widget needing redraw when main loop; don't think gtk+ has method drawing right now (but marking dirty , letting system redraw when it's ready better optimization reasons).


Comments

Post a Comment

Popular posts from this blog

javascript - AngularJS custom datepicker directive -

i make custom datepicker directive custom template. but have no idea how start building it... how include date data directive? i appreciate guide or give me advice work on more precisely. it might you! follow below steps html code sample: <label>birth date</label> <input type="text" ng-model="birthdate" date-options="dateoptions" custom-datepicker/> <hr/> <pre>birthdate = {{birthdate}}</pre> <script type="text/ng-template" id="custom-datepicker.html"> <div class="enhanced-datepicker"> <div class="proxied-field-wrap"> <input type="text" ui-date-format="yy-mm-dd" ng-model="ngmodel" ui-date="dateoptions"/> </div> <label> <button class="btn" type="button"><i class="icon-calendar"></i>
Read more

javascript - jQuery date picker - Disable dates after the selection from the first date picker -

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>jquery ui datepicker - default functionality</title> <link rel="stylesheet" href="//code.jquery.com/ui/1.11.4/themes/smoothness/jquery-ui.css"> <script src="//code.jquery.com/jquery-1.10.2.js"></script> <script src="//code.jquery.com/ui/1.11.4/jquery-ui.js"></script> <link rel="stylesheet" href="/resources/demos/style.css"> <script> $(function () { $("#datepicker1").datepicker(); }); </script> <script> $(function () { $("#datepicker2").datepicker(); }); </script> </head> <body> <p>date 1: <input type="text" id="datepicker1"></p> <p>date 2: <input type="t
Read more